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

https://techcrunch.com/2026/05/20/openai-claims-it-solved-an-80-year-old-math-problem-for-real-this-time/