Erdős Problem 433 — qed.bot Claims, announcements and changes recorded against Erdős Problem 433. https://qed.bot/feeds/s/erdos-433.xml 2026-05-29T00:00:00Z qed.bot Erdős Problem 433 — full (Aristotle, Claude Opus 4.8, Claude Sonnet 4.6, Gemini 3 Flash, Gemini 3.1 Pro, Project Numina) urn:qed:471d2585ca1d 2026-05-29T00:00:00Z Dixmier (1990). Autonomy A1, evidence V1, fidelity F0.