Erdős Problem 379 — qed.bot Claims, announcements and changes recorded against Erdős Problem 379. https://qed.bot/feeds/s/erdos-379.xml 2025-12-21T00:00:00Z qed.bot Erdős Problem 379 — full (Seed Prover 1.5) urn:qed:87f17ec836c0 2025-12-21T00:00:00Z New proof found. Autonomy A2, evidence V1, fidelity F2.