The Verge reports that over the past year, OpenAI, Anthropic, and other AI labs have announced progress on numerous long-standing mathematical problems, in some cases exceeding expectations for current systems. According to the report, this included resolving one of the famous Millennium Prize problems.
The piece frames these developments as contentious. Results that might otherwise have been celebrated have instead triggered backlash within the mathematics community. Among the concerns raised are questions about whether OpenAI used mathematicians’ work without proper acknowledgment and demands for verifiable proof. The report notes OpenAI has expressed interest in consulting elite mathematicians to avoid repeating earlier missteps, and that labs say they are learning from past mistakes, though it remains unclear whether those commitments will hold.
Why it matters
The tension described highlights friction between fast-moving AI labs and an academic discipline that depends on rigorous verification and attribution. How these disputes are resolved could shape the relationship between AI developers and the mathematics community.
Who should care
Mathematicians, researchers, and those following AI’s role in scientific work will find the ongoing disputes and lab responses relevant.