OpenAI claims it solved an 80-year-old math problem — for real this time May 20, 2026 · TechCrunch Read full story at source