An OpenAI Model Just Solved a 77-Year-Old Math Problem No Human Could Crack

An OpenAI model independently disproved the Erdős unit distance conjecture, a problem in combinatorial geometry first posed by Paul Erdős in 1946 and unsolved for 77 years. The model was given only the problem statement, operated without step-by-step human guidance, and produced a 125-page independent proof. Fields medalist Tim Gowers called it a milestone in AI mathematics. Princeton mathematician Will Sawin confirmed the result: best configurations now scale as n to the power of 1.014, disproving the Erdős upper bound.

Видео An OpenAI Model Just Solved a 77-Year-Old Math Problem No Human Could Crack канала ARCO Intelligence