Erdős Problem 125 — qed.bot Claims, announcements and changes recorded against Erdős Problem 125. https://qed.bot/feeds/s/erdos-125.xml 2026-03-30T00:00:00Z qed.bot Erdős Problem 125 — full (DeepMind prover agent) urn:qed:15981fb31db1 2026-03-30T00:00:00Z Full solution (Lean). Autonomy A3, evidence V2, fidelity F2. Erdős Problem 125 — partial (DeepMind prover agent) urn:qed:daa6cdd76e44 2026-02-21T00:00:00Z Solution to variant problem (Lean). Autonomy A3, evidence V2, fidelity F2.