OpenAI's AI solves 80-year-old Erdős unit distance problem, sparking debate over mathematical norms
By
Kathryn Hulick
Pulled from the oven just right. Trustworthy, fact-dense, deeply satisfying.
Summary
OpenAI researchers used an AI model to solve the Erdős unit distance problem, a famous math conjecture proposed by Paul Erdős in 1946 that had remained unproven for 80 years. While the result is mathematically correct, it has sparked debate in the mathematics community about core norms including how to verify AI-generated proofs, how to credit ideas when AI is involved, and how to keep mathematical research open and accessible to everyone.
Key quotes
· 3 pulledThe question, what mathematicians call the unit distance problem, seems simple. The answer is tricky.
Eighty years ago, in 1946, the famous mathematician Paul Erdős proposed what he thought was the answer, but no one had been able to prove or disprove his conjecture.
The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.
You might also wanna read
OpenAI model solves 80-year-old unit distance problem, disproving major geometry conjecture
An OpenAI model has disproved a central conjecture in discrete geometry by solving the 80-year-old planar unit distance problem first posed
openai.com·13d agoOpenAI model solves 80-year-old unit distance problem, disproving major geometry conjecture
An OpenAI model has disproved a central conjecture in discrete geometry by solving the 80-year-old planar unit distance problem first posed
openai.com·13d agoOpenAI model solves 80-year-old unit distance problem, disproving major geometry conjecture
An OpenAI model has disproved a central conjecture in discrete geometry by solving the 80-year-old planar unit distance problem first posed
openai.com·13d ago
Terence Tao on AI Milestone: Autonomous Solution to Erdos Problem #728 and Enhanced Mathematical Exposition Capabilities
Terence Tao discusses a milestone in AI-assisted mathematics where an Erdos problem (#728) was solved autonomously by AI tools, with the sol
mathstodon.xyz·5mo ago
OpenAI Researcher's GPT-5 Math Breakthrough Claim Retracted After Community Criticism
An OpenAI researcher claimed on X that GPT-5 had solved 10 previously unsolved Erdős mathematical problems and made progress on 11 more, but
the-decoder.com·7mo ago
AI-Assisted Mathematical Problem Solving: Collaborative Workflow on Erdős Problem #367
Mathematician Terence Tao describes a collaborative mathematical problem-solving process involving AI tools. The article details how mathema
mathstodon.xyz·6mo ago
IBM Patents Implementation of 200-Year-Old Mathematical Technique Using PyTorch
IBM has been granted a patent for implementing a 200-year-old mathematical technique (generalized continued fractions and series transformat
leetarxiv.substack.com·6mo ago
OpenAI Research Shows AI Hallucinations Are Mathematically Inevitable in Current Models
OpenAI's research paper provides a rigorous mathematical explanation for why AI language models like ChatGPT inevitably hallucinate (confide
theconversation.com·9mo ago