Erdős Problem 202 — qed.bot Claims, announcements and changes recorded against Erdős Problem 202. https://qed.bot/feeds/s/erdos-202.xml 2026-05-14T00:00:00Z qed.bot Erdős Problem 202 — full (Unspecified) urn:qed:ff78707bd1cb 2026-05-14T00:00:00Z Boon Suan Ho and GPT-5.4 Pro (2026). Autonomy A1, evidence V1, fidelity F2. Erdős Problem 202 — candidate (GPT-5.5 Pro) urn:qed:d12602c38ea6 2026-04-30T00:00:00Z Candidate full solution. Autonomy A1, evidence V0, fidelity F2. Erdős Problem 202 — full (GPT-5.4 Pro) urn:qed:6795995a092c 2026-04-23T00:00:00Z Full solution. Autonomy A1, evidence V1, fidelity F2.