Tim Gowers
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'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.