An AI solution to an 80‑year‑old problem has shocked mathematicians

2026-06-02 · Source: ΑΙhub · Field: Science & Research — Mathematics & Computational Sciences, Artificial Intelligence & Machine Learning, Research Methodology & Innovation · Depth: Intermediate, medium

Summary

OpenAI's internal AI model recently discovered a counterexample to the planar unit distance problem, also known as Erdős problem 90, a famous conjecture made by Paul Erdős in 1946. This breakthrough, achieved by a general-purpose AI, disproved an 80-year-old mathematical intuition that grid-like arrangements were optimal for maximizing unit-distance pairs among n points. The result, which reportedly yields improvements for around 10^2000000 points, was deemed significant by mathematicians like Daniel Litt and Timothy Gowers, who noted its sophistication. Days later, US mathematician Will Sawin improved upon the result, and Google DeepMind's models resolved nine other Erdős problems. This event highlights AI's growing capability in mathematical research, particularly in exploring vast solution spaces and applying existing literature, though its capacity for genuine conceptual leaps remains an open question.

Key takeaway

For research mathematicians exploring complex, long-standing problems, you should consider integrating general-purpose AI tools into your workflow. These models can efficiently explore vast solution spaces and apply existing mathematical literature, potentially accelerating discovery and identifying counterexamples to established conjectures. Embrace AI to augment your research, focusing your human insight on conceptual leaps while offloading exhaustive search and verification tasks to AI systems.

Key insights

General-purpose AI models can autonomously solve long-standing mathematical conjectures by exploring vast solution spaces.

Principles

• AI excels at encyclopedic knowledge application.
• AI can explore speculative lines of inquiry tirelessly.
• Many proof ideas exist in literature already.

Method

An AI model was given an initial prompt, then conducted a "chain of thought" to explore mathematical literature and generate a counterexample.

In practice

• Use AI to explore complex combinatorial problems.
• Apply AI to search for counterexamples in conjectures.

Topics

• AI in Mathematics
• Erdős Conjecture
• Planar Unit Distance Problem
• Counterexamples
• Algebraic Number Theory
• Large Language Models

Best for: AI Scientist, Research Scientist, General Interest

Related on AIssential

• An AI solution to an 80-year-old problem has shocked mathematicians — AI can autonomously solve long-standing mathematical conjectures by exploring vast solution spaces and combining existing knowledge.
• OpenAI makes breakthrough on 80-year-old maths problem — OpenAI's AI disproved an 80-year-old math conjecture, showing AI can find novel solutions in complex problems.
• AI cracks 80-year-old mathematics challenge — researchers are astonished — AI can autonomously solve complex, long-standing mathematical conjectures.
• OpenAI shifts the boundary of automated reasoning with a "milestone in AI mathematics" that experts are now unpacking — OpenAI's AI disproved a long-standing mathematical conjecture by applying unexpected tools from algebraic number theory.
• OpenAI Says Its AI Just Disproved a Famous 80-Year-Old Math Problem – And This Time, Mathematicians Agree — A general-purpose AI autonomously disproved an 80-year-old math conjecture by making a cross-domain mathematical leap.
• An OpenAI model solved a famous math problem that stumped humans for 80 years — AI disproved an 80-year-old math conjecture by combining existing techniques, showcasing its ability to resolve major open problems.

Open in AIssential →

Editorial summary, takeaway, and curation by AIssential. Original article published by ΑΙhub.