Erdős Problem 441 — qed.bot Claims, announcements and changes recorded against Erdős Problem 441. https://qed.bot/feeds/s/erdos-441.xml 2026-06-19T00:00:00Z qed.bot Erdős Problem 441 — partial (AxiomProver) urn:qed:a8de9e7f1351 2026-06-19T00:00:00Z Chen and Dai (2007). Autonomy A1, evidence V1, fidelity F2.