AI Solves a Major Unsolved Math Problem. Not Everyone Is Happy

On 13 September, leading luminaries and up-and-coming talents in mathematics and computer science congregated at the annual Heidelberg Laureate Forum in Germany for a week of discussion, networking, and—naturally—wurst. Having attended several of these events in the past, the mathematicians’ chatter is normally concerned with which famed researchers are attending, or what interesting problems they have been working on. But instead, every snippet of conversation caught in passing or any debate accidentally overheard was about how AI companies such as OpenAI, Anthropic, and Google are steamrollering their way through mathematics. And there is good reason for these fervent discussions. Mathematics is the perfect testing ground for AI, involving step-by-step logical reasoning and answers that are automatically and objectively verifiable . This has led tech giants to develop their AI mathematical capabilities at a terrifying rate this year, leading to both new solutions to previously unsolved problems and a reckoning within the community as to what it means to do math in the age of AI. Tech Giants Target the Millennium Problems In short order, AI has gone from struggling with everyday research-level problems to solving a whole raft of teasers posed by prolific Hungarian mathematician Paul Erdős , then verifying the proof of Fermat’s Last Theorem, and—most recently and famously—OpenAI announcing they had solved the Navier–Stokes existence and smoothness problem . As attendee and young researcher Ailsa Robertson (University of Amsterdam, The Netherlands) put it: “AI and LLMs set t

AI solves major math problem

SOURCE     IEEE Spectrum: AI (tier 1)
   ↓
DOCUMENT   e050a1c5-99a0-4249-8b55-d0159a33f170
           https://spectrum.ieee.org/millennium-prize-ai
   ↓
EVIDENCE   1 extracted excerpt
   ↓
MODEL RUN  1 run, methodology 1.0.1
   ↓
SCORE      +20  (Favourable)
   ↓
CONFIDENCE 70%