Erdős's Conjecture Fell to a Closed AI Loop. That's the Story.

On May 20, 2026, OpenAI published an eighteen-page PDF containing a proof that disproves a conjecture Paul Erdős posed in 1946. The closed-loop pipeline that produced it — AI-written prompt, AI-generated proof, AI-graded verification, human review only at the end — is the structural story the press coverage is missing.