Erdős Problem 873 — qed.bot
Claims, announcements and changes recorded against Erdős Problem 873.
https://qed.bot/feeds/s/erdos-873.xml
2026-04-30T00:00:00Z
qed.bot
Erdős Problem 873 — candidate (GPT-5.5 Thinking)
urn:qed:2879f2a3b618
2026-04-30T00:00:00Z
Candidate partial result. Autonomy A1, evidence V0, fidelity F2.
Erdős Problem 873 — candidate (GPT-5.4 Thinking)
urn:qed:3b038185bea2
2026-04-29T00:00:00Z
Candidate partial result. Autonomy A1, evidence V0, fidelity F2.