Erdős Problem 1047 — qed.bot Claims, announcements and changes recorded against Erdős Problem 1047. https://qed.bot/feeds/s/erdos-1047.xml 2026-01-21T00:00:00Z qed.bot Erdős Problem 1047 — full (Aristotle) urn:qed:1bfac3b5a6d6 2026-01-21T00:00:00Z New proof found (Lean). Autonomy A2, evidence V2, fidelity F2.