OpenAI AI Model Disproves Erdős 80-Year-Old Mathematical Conjecture

Executive Briefing

• Discovers a counterexample to the Erdős planar unit distance problem, believed unsolvable since 1946
• Demonstrates that patterns of dots yield far more unit-distance pairs than square grids, for infinitely many point counts
• Fields Medallist Timothy Gowers endorses the result as publication-worthy in top journal Annals of Mathematics
• Marks the first major open math problem solved autonomously by AI with minimal human intervention
• Highlights AI's strength in encyclopedic knowledge and exhaustive exploration, while conceptual leaps remain uncertain