Erdős Problem 1095

Erdős Problem 1095 — qed.bot Claims, announcements and changes recorded against Erdős Problem 1095. https://qed.bot/feeds/s/erdos-1095.xml 2026-06-20T00:00:00Z qed.bot Erdős Problem 1095 — partial (Aristotle) urn:qed:555194c7db58 2026-06-20T00:00:00Z

Konyagin (1999). Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 1095 — partial (Claude Opus 4.6, Gemini 3.1 Pro, GPT-5.4 Pro) urn:qed:6a8fe7f23fc9 2026-03-13T00:00:00Z

Partial result. Autonomy A1, evidence V1, fidelity F0.

Erdős Problem 1095 — partial (Aristotle) urn:qed:015f1ae15745 2025-12-30T00:00:00Z

New proof of (slightly weaker) partial result (Lean). Autonomy A2, evidence V2, fidelity F0.