OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI says a reasoning model disproved a 1946 geometry conjecture, with outside mathematicians validating the result.
Excerpt
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.
Read at source: https://techcrunch.com/2026/05/20/openai-claims-it-solved-an-80-year-old-math-problem-for-real-this-time/