Erdős Problem 303 — qed.bot Claims, announcements and changes recorded against Erdős Problem 303. https://qed.bot/feeds/s/erdos-303.xml 2025-12-21T00:00:00Z qed.bot Erdős Problem 303 — full (Seed Prover) urn:qed:97f284f0f67a 2025-12-21T00:00:00Z Brown and Rödl (1991). Autonomy A1, evidence V1, fidelity F1.