The Future of Mathematics

The practice of mathematics as a profession is fundamentally changing as AI can now automate tasks previously considered the core of a mathematician's work.

Mathematicians are reassessing their field's future in light of advancements in AI, particularly foundation models that can generate solutions to problems previously requiring significant human effort. Jeremy Avigad, writing for Terence Tao's blog, notes a generally positive reaction within the mathematics community, acknowledging that daily workflows will change. He argues that while AI can automate problem-solving by cobbling together existing techniques, it currently lacks the creativity and higher-level strategizing seen in human mathematicians like Riemann or Galois. Avigad suggests that the core of mathematics—rigorous reasoning, communication, and the pursuit of understanding—remains vital. He proposes three paths forward: solving harder problems, thinking bigger thoughts by choosing problems of intrinsic interest, and exploring new avenues opened by AI technologies themselves, emphasizing that human agency in defining mathematical value and interest is paramount.

AI's ability to rapidly generate solutions by synthesizing vast amounts of existing mathematical literature disrupts traditional mathematician workflows, forcing a re-evaluation of what constitutes valuable mathematical research and how to train future generations. The current AI capabilities, focused on cobbling together known techniques, highlight a gap in creative insight and long-term strategic thinking, areas where human mathematicians have historically excelled and continue to drive foundational advancements. This necessitates a shift from viewing AI as a replacement to understanding it as a tool that can augment human capabilities, allowing mathematicians to tackle more complex problems and explore novel theoretical landscapes.

The long-term value and definition of mathematical discovery are now subject to human agency, emphasizing the importance of subjective interest, aesthetic appreciation, and cultural context in shaping research agendas. As AI becomes adept at problem-solving, the mathematician's role evolves toward defining the problems, guiding the research direction, and identifying truly novel insights that transcend algorithmic synthesis. The integration of AI also prompts exploration into new mathematical areas and methodologies, mirroring historical technological shifts that, despite initial resistance, ultimately expanded the field.