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

OpenAI says a new general-purpose reasoning model produced an original proof disproving a geometry conjecture posed by Paul Erdős in 1946.

The company called it the first autonomous AI solution to a prominent open math problem, with supportive comments from mathematicians.

The claim follows an earlier inaccurate GPT-5 announcement that was later retracted.

If verified, the result could mark a major milestone for AI in mathematics and broader scientific discovery.