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

Key points

• 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 Kevin Weil posted on It turns out, GPT-5 didn’t actually solve those problems;
• it just found 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.