Mathematicians Grapple with AI's Rapid Ascent

The year 2026 is proving to be a pivotal moment for mathematics, marked by AI-driven advancements that are simultaneously thrilling and unsettling. Leading mathematicians, such as Steven Strogatz, express deep concern about the human "unpleasantness" accompanying these breakthroughs, particularly the race among corporate labs to claim credit and headlines.

Recent weeks have seen significant AI achievements, including OpenAI's use of tens of thousands of agents to solve a 90-year-old math problem, and Anthropic's formalization of Fermat's Last Theorem. These events highlight AI's capacity to tackle complex, long-standing challenges far faster than humanly possible.

However, this rapid progress raises existential questions for human mathematicians. Alex Townsend notes feeling threatened as AI surpasses his peak skills after dedicating 15 years to research. The fear is that human mathematicians may become secondary, akin to AI agents, rather than pioneers at the frontier of knowledge.

Strogatz likens the current situation to a horror movie, where AI, driven by poorly understood systems, advances relentlessly. He questions whether AI will develop its own mathematical 'taste' and if applied mathematics, with its inherent messiness, will offer a refuge from AI's dominance.

The implications extend to the very nature and funding of mathematics. If AI can solve complex problems efficiently, the motivation for human mathematicians and the economic justification for their work could diminish, leading to a potential loss of human understanding and expertise.