Podcast explores how OpenAI model disproved 80-year-old Erdős conjecture

OpenAI researchers Alexander Wei, Hongxun Wu, and Lijie Chen discuss how their model found a counterexample to the Erdős unit distance conjecture, a problem unsolved for 80 years. Mathematician Timothy Gowers called it a 'major open problem' solved by AI.

openaireasoning

See 3 more sources

What happened when one of our models found a counterexample to an 80-year-old Erdős conjecture?...6 days agoOpenAI

An OpenAI model solved a famous math problem that stumped humans for 80 years9 days agoKai Williams

Top mathematician Timothy Gowers: "AI has now solved a major open problem ... one that many mathematicians had tried."20 days agoEchoOfOppenheimerDiscuss

YouTube·OpenAI

2 days ago