Erdős Problem 705 — qed.bot Claims, announcements and changes recorded against Erdős Problem 705. https://qed.bot/feeds/s/erdos-705.xml 2026-02-01T00:00:00Z qed.bot Erdős Problem 705 — full (Aletheia) urn:qed:57c9c76e6bc4 2026-02-01T00:00:00Z Full solution found. Autonomy A1, evidence V1, fidelity F2. Erdős Problem 705 — full (GPT) urn:qed:246a04153cc7 2026-01-26T00:00:00Z Full solution found. Autonomy A1, evidence V1, fidelity F2.