Mathematics Enters a New Era as AI Labs Claim Historic Breakthroughs
Reading Time : 3 minutesTwo AI giants have stunned mathematicians with back-to-back claims: OpenAI says it solved a 90-year-old Millennium Prize problem, while Anthropic formalized Fermat’s Last Theorem in days. The breakthroughs spark awe and anxiety over credit, careers, and a future where machines outpace human proof.