Erdős Problem 120 — qed.bot Claims, announcements and changes recorded against Erdős Problem 120. https://qed.bot/feeds/s/erdos-120.xml 2026-03-14T00:00:00Z qed.bot Erdős Problem 120 — partial (DeepMind prover agent) urn:qed:35347ec995e3 2026-03-14T00:00:00Z Solution to variant problem (Lean). Autonomy A3, evidence V2, fidelity F2. Erdős Problem 120 — full (GPT-5.4 Thinking) urn:qed:eb65b4ee317b 2026-03-14T00:00:00Z Solution to variant problem found. Autonomy A1, evidence V1, fidelity F2.