An AI solution to an 80-year-old problem has shocked mathematicians
An AI solution to an 80-year-old problem has shocked mathematicians
Publish Date: 2026-05-26 00:28:00
Source Domain: theconversation.com
-
Breakthrough by AI: An AI model from OpenAI discovered a counterexample to a famous conjecture by Paul Erdős regarding the planar unit distance problem.
-
Significance of Result: Canadian mathematician Daniel Litt considers it the first significant and autonomously generated result by AI in a mathematical field.
-
AI’s Changing Role: This achievement highlights how AI is transforming mathematical research, as demonstrated by subsequent improved results from human mathematicians following similar reasoning.
-
Erdős Problem 90: The problem involves arranging points on a plane to maximize the number of pairs a unit distance apart, challenging long-held beliefs about grid-like arrangements.
-
Impact on Mathematical Research: The AI model’s result exemplifies broad questions about the potential and future role of AI in solving complex mathematical problems using fewer human inputs.
-
Expert Opinion: Fields Medallist Timothy Gowers described the AI’s proof as highly sophisticated and deserving of publication in top journals without delay.
-
AI’s Cognitive Limitations: While AI excels in detailed analysis and exploration, it’s still uncertain whether it can achieve the rare “lightbulb moments” of genuine conceptual breakthrough.
-
Shift in Mathematical Discovery: The collaboration between AI and human researchers indicates a significant shift in how mathematical discoveries are made, with AI aiding in expansive data exploration and analysis.
