OpenAI's AI Disproves an 80-Year Erdős Conjecture — and This Time, Mathematicians Agree

On May 20, a general-purpose OpenAI reasoning model autonomously overturned a foundational geometry conjecture that had stood since 1946. Unlike last year's embarrassing false claim, this result comes with external verification — including from OpenAI's harshest critic.