Erdős Problem 947 — qed.bot Claims, announcements and changes recorded against Erdős Problem 947. https://qed.bot/feeds/s/erdos-947.xml 2026-02-02T00:00:00Z qed.bot Erdős Problem 947 — full (Aristotle, GPT) urn:qed:8796dd09bfa2 2026-02-02T00:00:00Z Mirsky and Newman + Davenport and Rado. Autonomy A1, evidence V1, fidelity F2.