OpenAI's AI model finds counterexample to Erdős' 80-year-old planar unit distance conjecture
Toasted golden, schmeared with insight. Top of the rack.
Summary
OpenAI's AI model has autonomously discovered a counterexample to Paul Erdős' 1946 planar unit distance conjecture (Erdős problem 90), a famous unsolved problem in mathematics. The breakthrough marks the first time an AI has independently produced a mathematical result that experts find genuinely interesting, with mathematician Daniel Litt calling it noteworthy. The AI used was a general-purpose model rather than a specialized mathematics system.
Key quotes
· 3 pulledThe first result produced autonomously by an AI that I find interesting in itself
An AI solution to an 80-year-old problem has shocked mathematicians
The planar unit distance problem, or Erdős problem 90, has intrigued mathematicians for decades
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·3d 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·4mo 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
OpenAI and DeepMind AI Models Succeed in Challenging Math Exam
OpenAI and DeepMind AI models achieve success in a difficult math exam, sparking discussions on the advancement of AI capabilities.
news.ycombinator.com·10mo ago
Amateur uses ChatGPT to solve 60-year-old unsolved math problem
A 23-year-old amateur named Liam Price used ChatGPT Pro to solve a 60-year-old unsolved math problem (a conjecture) that professional mathem
scientificamerican.com·1mo ago
AI Revolutionizes Formal Verification and Mathematical Proof Systems
The article discusses how AI is revolutionizing formal verification and mathematical proof systems, making them more accessible and mainstre