Erdős Problem 872 — qed.bot
Claims, announcements and changes recorded against Erdős Problem 872.
https://qed.bot/feeds/s/erdos-872.xml
2026-04-29T00:00:00Z
qed.bot
Erdős Problem 872 — candidate (GPT-5.5 Pro)
urn:qed:b35fd9faf659
2026-04-29T00:00:00Z
Candidate partial result. Autonomy A1, evidence V0, fidelity F0.
Erdős Problem 872 — partial (GPT-5.4 Pro)
urn:qed:b4374f1e304c
2026-04-16T00:00:00Z
Partial result. Autonomy A1, evidence V1, fidelity F0.
Erdős Problem 872 — partial (GPT-5.2 Pro)
urn:qed:aff52d2084b9
2026-02-16T00:00:00Z
Partial result. Autonomy A3, evidence V1, fidelity F0.