Erdős Problem 36 — qed.bot Claims, announcements and changes recorded against Erdős Problem 36. https://qed.bot/feeds/s/erdos-36.xml 2026-06-29T00:00:00Z qed.bot Erdős Problem 36 — candidate (GPT-5.5 Pro) urn:qed:3d73d278c8e8 2026-06-29T00:00:00Z Candidate partial result. Autonomy A3, evidence V0, fidelity F0. Erdős Problem 36 — partial (AlphaEvolve) urn:qed:5a55f8cd3c8c 2025-11-03T00:00:00Z Slight improvement to past construction. Autonomy A2, evidence V1, fidelity F0.