OpenAI model solves 80-year-old unit distance problem, disproving major geometry conjecture
By
tedsanders
FeedBagel synthesis
· 2 sourcesAn OpenAI model has autonomously disproved a central conjecture in discrete geometry by solving the 80-year-old planar unit distance problem first posed by mathematician Paul Erdős in 1946, Reddit reported. The problem asks how many pairs of points can be exactly one unit apart when placing n points in the plane, and the AI found a counterexample to Erdős' conjecture, according to Bluesky. Bluesky noted that mathematician Daniel Litt called the breakthrough noteworthy, marking the first time an AI has independently produced a mathematical result that experts find genuinely interesting.
A respectable bake. You'd come back tomorrow for another.
Summary
An OpenAI model has disproved a central conjecture in discrete geometry by solving the 80-year-old planar unit distance problem first posed by Paul Erdős in 1946. The problem asks how many pairs of points can be exactly distance 1 apart when placing n points in the plane. This marks a significant milestone in AI-driven mathematical discovery, where an AI system successfully tackled a long-standing open problem in combinatorial geometry that has resisted human mathematicians for decades.
Key quotes
· 3 pulledIt is possibly the best known (and simplest to explain) problem in combinatorial geometry.
For nearly 80 years, mathematicians have studied a deceptively simple question: if you place n points in the plane, how many pairs of points can be exactly distance 1 apart?
This is the planar unit distance problem, first posed by Paul Erdős in 1946.
You might also wanna read
OpenAI's AI model solves 80-year-old Erdős math problem, verified by mathematicians
OpenAI's internal AI model has solved the planar unit distance problem, an 80-year-old math puzzle first posed by Hungarian mathematician Pa
livescience.com·1d ago
OpenAI's AI model finds counterexample to Erdős' 80-year-old planar unit distance conjecture
OpenAI's AI model has autonomously discovered a counterexample to Paul Erdős' 1946 planar unit distance conjecture (Erdős problem 90), a fam
theconversation.com·5d ago
AI Solves 80-Year-Old Erdős Math Problem in Combinatorial Geometry
An AI system has solved a famous unsolved math problem (an Erdős problem) in combinatorial geometry that stumped mathematicians for 80 years
wsj.com·1d ago
OpenAI yapay zeka modeli, 80 yıllık çözülememiş matematik problemi "birim uzaklık problemi"ni otonom olarak çözdü
OpenAI, geliştirdiği bir yapay zeka modelinin, matematik tarihinin en önemli açmazlarından biri olan "birim uzaklık problemi"ni (unit distan
gazeteoksijen.com·2d ago