Erdős Problem 501 — qed.bot Claims, announcements and changes recorded against Erdős Problem 501. https://qed.bot/feeds/s/erdos-501.xml 2026-06-01T00:00:00Z qed.bot Erdős Problem 501 — candidate (GPT-5.5 Pro) urn:qed:208aef487e77 2026-06-01T00:00:00Z Candidate conditional partial result (conditional solution to first part). Autonomy A1, evidence V0, fidelity F2.