An OpenAI model solved a famous math problem that stumped humans for 80 years

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

OpenAI’s Breakthrough On Famed Math Problem Actually Proves That Using AI To Find Counterexamples Is A Smart Strategy For Everyone

OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI Insider analysis and scoop.
AOL

10 Hard Math Problems That Even the Smartest People in the World Can’t Crack

In September 2019, news broke regarding progress on this 82-year-old question, thanks to prolific mathematician Terence Tao. And while the story of Tao's breakthrough is promising, the problem isn't ...
Scientific American

The Simplest Math Problem Could Be Unsolvable

At first glance, the problem seems ridiculously simple. And yet experts have been searching for a solution in vain for decades. According to mathematician Jeffrey Lagarias, number theorist Shizuo ...