OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI has announced that its new reasoning model has produced a mathematical proof that disproves a well-known conjecture posed by Paul Erdős in 1946. This claim follows a previous controversial assertion by OpenAI regarding solving Erdős problems, which was later retracted. The company emphasizes that this achievement demonstrates AI's growing capability to tackle complex reasoning tasks across various fields of study.
- ▪OpenAI claims to have solved an 80-year-old math problem by disproving a famous conjecture in geometry.
- ▪This announcement comes after a previous claim by OpenAI that was criticized for misrepresenting existing solutions.
- ▪The new proof was generated by a general-purpose reasoning model, showcasing AI's ability to connect ideas across different disciplines.
Opening excerpt (first ~120 words) tap to expand
OpenAI claims its new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdős in 1946. If this sounds familiar to you, it’s because this isn’t the first time OpenAI has made such a bold claim. Seven months ago, the AI giant’s former VP Kevil Weil posted on X: “GPT-5 found solutions to 10 (!) previously unsolved Erdős problems and made progress on 11 others.” It turns out, GPT-5 didn’t actually solve those problems; it just found existing solutions that already existed in the literature. Taunts from rivals like Yann LeCun and Google DeepMind CEO Demis Hassabis followed, and Weil promptly took down his premature post. Today, at least, it seems OpenAI didn’t make the same mistake twice.
…
Excerpt limited to ~120 words for fair-use compliance. The full article is at TechCrunch.
Discussion
0 commentsMore from TechCrunch
