Erdős Problem 995 — qed.bot Claims, announcements and changes recorded against Erdős Problem 995. https://qed.bot/feeds/s/erdos-995.xml 2026-09-28T11:57:19Z qed.bot Formal status changed: Erdős Problem 995 urn:qed:change:formal-status:erdos:995:mixed 2026-09-28T11:57:19Z The formal record now marks Erdős Problem 995 as mixed, previously unclassified. Erdős Problem 995 — partial (GPT-5.4 Pro) urn:qed:224fa2d59030 2026-04-21T00:00:00Z Partial result. Autonomy A1, evidence V1, fidelity F0.