ai
OpenAI claims it solved an 80-year-old math problem — for real this time
Key takeaways
- Open AI 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 Open AI has made such a bold claim.
- It turns out, GPT-5 didn’t actually solve those problems; it just found existing solutions that already existed in the literature.
Why this matters: a development in AI with implications for how people work, create, and decide.
Open AI 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 Open AI 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.
Article preview — originally published by TechCrunch AI. Full story at the source.
Read full story on TechCrunch AI →
More top stories
Also covered by
Aggregated and edited by the Scoop newsroom. We surface news from TechCrunch AI alongside other reporting so you can compare coverage in one place.
Editorial policy · Corrections · About Scoop