OpenAI claims it solved an 80-year-old math problem — for real this time

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.”