Erdős Problem 333 — qed.bot Claims, announcements and changes recorded against Erdős Problem 333. https://qed.bot/feeds/s/erdos-333.xml 2026-02-01T00:00:00Z qed.bot Erdős Problem 333 — full (Aletheia) urn:qed:8d92cbdc7a5b 2026-02-01T00:00:00Z Full solution found. Autonomy A1, evidence V1, fidelity F2. Erdős Problem 333 — full (Claude Opus 4.5, GPT-5.2 Pro) urn:qed:7218e8e2e13e 2025-12-25T00:00:00Z Full solution (Lean). Autonomy A3, evidence V2, fidelity F2. Erdős Problem 333 — incorrect (GPT-5.2 Pro) urn:qed:b8a10c3da163 2025-12-25T00:00:00Z Incorrect proof claimed; literature proof not found. Autonomy A1, evidence V1, fidelity F2.