Erdős Problem 888

Erdős Problem 888 — qed.bot Claims, announcements and changes recorded against Erdős Problem 888. https://qed.bot/feeds/s/erdos-888.xml 2026-04-25T00:00:00Z qed.bot Erdős Problem 888 — full (Aristotle, GPT-5.5 Pro) urn:qed:df320548f4a1 2026-04-25T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F2.

Erdős Problem 888 — incorrect (Claude Opus 4.5, Gemini 3 Pro, GPT-5.2 Thinking) urn:qed:267694f62f7e 2026-01-18T00:00:00Z

Incorrect proof found. Autonomy A3, evidence V1, fidelity F2.