Erdős Problem 52 — qed.bot
Claims, announcements and changes recorded against Erdős Problem 52.
https://qed.bot/feeds/s/erdos-52.xml
2026-06-04T00:00:00Z
qed.bot
Erdős Problem 52 — candidate (GPT-5.5)
urn:qed:2c99a876d706
2026-06-04T00:00:00Z
Candidate solution to variant problem. Autonomy A1, evidence V0, fidelity F0.
Erdős Problem 52 — partial (Claude Mythos)
urn:qed:99081a0b3086
2026-06-03T00:00:00Z
Solution to variant problem. Autonomy A3, evidence V1, fidelity F0.
Erdős Problem 52 — partial (GPT-5.5 Pro)
urn:qed:a17db36f743e
2026-05-28T00:00:00Z
Solution to variant problem. Autonomy A1, evidence V1, fidelity F0.
Erdős Problem 52 — partial (GPT-5.5)
urn:qed:95b7a60ac400
2026-05-28T00:00:00Z
Improved bound to variant problem. Autonomy A1, evidence V1, fidelity F0.