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 claims it solved an 80-year-old math problem — for real this time

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...
moneycontrol.com

OpenAI claims its AI model solved a major Erdős mathematics problem that remained unsolved for nearly 80 years

Did our AI summary help? OpenAI has announced that one of its AI models has solved a long-standing mathematics problem first posed by mathematician Paul Erdős in 1946. The company claims the model ...
MIT Technology Review

Google DeepMind used a large language model to solve an unsolved math problem

They had to throw away most of what it produced but there was gold among the garbage. Google DeepMind has used a large language model to crack a famous unsolved problem in pure mathematics. In a paper ...