OpenAI's AI model solves 80-year-old Erdős math problem, verified by mathematicians
By
Drew Turney
Half-baked but well-meaning. A passing snack.
Summary
OpenAI's internal AI model has solved the planar unit distance problem, an 80-year-old math puzzle first posed by Hungarian mathematician Paul Erdős in 1946. The problem asks for the maximum number of pairs of points that can exist one unit apart on a two-dimensional plane. The closest previous solution came in 1984, and mathematicians have now verified the AI's solution, marking a significant milestone for AI's mathematical capabilities.
Key quotes
· 3 pulledThe planar unit distance problem, first posed by Hungarian mathematician Paul Erdős in 1946, asks a seemingly simple question: What is the maximum number of pairs of points that can exist one unit apart on a two-dimensional plane?
Erdős claimed this number would rise slightly faster than the number of dots.
The closest the field has come to solving the planar unit distance problem, first proposed in the 1940s, was in 1984.
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·4d 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·4d 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·4d 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
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
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
Mathematicians Create Benchmark Test to Evaluate AI on Research-Level Math Problems
A group of mathematicians and researchers have created a benchmark test to evaluate AI systems' ability to solve research-level mathematics
arxiv.org·3mo 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