OpenAI's AI Disproves 80-Year-Old Erdős Conjecture

On May 20, 2026, OpenAI announced on its official blog that an internal general-purpose reasoning model had autonomously found a counterexample disproving the "unit distance problem," a central open question in discrete geometry posed by mathematician Paul Erdős in 1946. That a general-purpose reasoning model—not a specialized math model—overturned a conjecture unresolved for nearly 80 years marks a milestone in AI-driven mathematical research. Details