Paul Erdős
3 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's Reasoning Model Cracks Erdős' 80-Year Math Problem
An OpenAI reasoning model disproves the planar unit distance conjecture posed by Paul Erdős in 1946, a feat verified by Fields Medalist Tim Gowers.
-
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.