planar unit distance problem
2 stories
-
techOpenAI Model Cracks 80-Year-Old Mathematics Problem
An OpenAI reasoning model solved the planar unit distance problem, refuting a 1946 Erdős conjecture with a 125-page proof.
-
techOpenAI Model Disproves Erdős Conjecture in Autonomous Breakthrough
An internal OpenAI model has independently disproven Paul Erdős's famous planar unit distance conjecture, marking a milestone in autonomous mathematical reasoning.