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

This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.

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.

Read on abhishek-shankar.com ↗