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 actua…
Why this update matters
This developing story is relevant for readers tracking technology because it reflects fresh changes from the original source and signals where attention is shifting next.
Key details
The report was collected automatically and prepared for publication with a newsroom workflow that focuses on clarity, search visibility, and quick understanding.
Readers should review the original source for direct statements, official notices, and any later corrections or additions as the story evolves.
Related coverage
Continue reading with more reporting from the same topic cluster.