Erdős Problem 846 — qed.bot Claims, announcements and changes recorded against Erdős Problem 846. https://qed.bot/feeds/s/erdos-846.xml 2026-02-25T00:00:00Z qed.bot Erdős Problem 846 — full (DeepMind prover agent, OpenAI internal model) urn:qed:fa49ce4c3771 2026-02-25T00:00:00Z Full solution (Lean); Full solution. Autonomy A3, evidence V2, fidelity F2. Erdős Problem 846 — full (GPT-5.2 Thinking) urn:qed:92fb9610c281 2026-02-25T00:00:00Z DeepMind prover agent (2026). Autonomy A1, evidence V1, fidelity F2.