Terence Tao's "War Footing" Warning: Mathematics Faces an AI Disruption Crisis

The mathematics community is undergoing a deep shock triggered by artificial intelligence. Fields Medalist Terence Tao recently described his sense of urgency in responding to the current mathematical crisis as being on a "war footing" — a statement that sparked widespread discussion on Hacker News.

Why Does AI Put Top Mathematicians So on Edge?

Tao's "war footing" is not rhetorical exaggeration. As large language models demonstrate increasingly strong capabilities in tasks such as theorem proving, conjecture generation, and literature review, the traditional paradigm of mathematical research is being rapidly restructured. Research methods that once relied on personal intuition and long-term accumulation are now facing challenges from machines that participate in — or even lead — the work.

He has noted on multiple occasions that AI tools can already assist with parts of formal proof work, which means the mathematics community must rethink: what is the irreplaceable value of human mathematicians? Does the path for training the next generation of researchers need to be completely overhauled?

Formal proof refers to mathematical proofs written in a language that computers can rigorously verify (such as the Lean, Coq, and Isabelle proof assistants). Unlike traditional proofs written in natural language, every step of reasoning in a formal proof is checked step by step by a machine; as long as the proof compiles, it is logically airtight. In recent years, the mathlib library promoted by the Lean community has accumulated a large body of formalized mathematical results, and AI systems have made progress in automatically generating formal proofs, turning "machine participation in proof" from a theoretical idea into reality. This is the technical basis for Tao's alarm: once proofs can be generated by machines and verified by machines, the production and review processes of mathematical knowledge will fundamentally change.

At What Levels Does the Crisis Manifest

Imbalance in Research Efficiency and Fairness

AI tools have greatly lowered the barrier to some mathematical work, but they also bring new inequality. Institutions and individuals proficient in using these tools will gain a significant advantage, while researchers with fewer resources may be further marginalized. Tao worries that this divergence will erode the collaborative culture on which the mathematics community has long depended.

Challenges of Verification and Credibility

As AI-generated proofs become more complex, the cost of human verification rises sharply. The core of mathematics lies in rigorous proof; if the verification process cannot keep up with the pace of generation, the reliability of the entire knowledge system will be threatened. This is also why Tao calls on the mathematics community to establish new verification mechanisms.

Proof verification holds a special place in mathematics: a theorem is accepted only if peers can understand and check its proof. Traditionally, verifying complex proofs (such as the classification of finite simple groups) itself takes years or relies on expert consensus. AI generates proofs far faster than humans can review them, creating a massive bottleneck between "generation" and "verification." If verification is insufficient, erroneous proofs may enter the literature and contaminate the knowledge system. Therefore, the widespread adoption of formal verification tools and automated proof checkers is seen as key infrastructure for addressing this challenge, but it also requires mathematicians to acquire new engineering skills.

The Gap in Education and Talent Development

Traditional mathematics training emphasizes problem-solving techniques and the cultivation of intuition, but AI is rapidly catching up in these areas. Tao believes that the education system needs to shift toward cultivating the ability to ask questions, exercise judgment, and integrate across disciplines, rather than purely computational and deductive skills.

Mathematical intuition refers to the judgment mathematicians form about a problem's structure, possible paths, and the reasonableness of results without a complete derivation; it usually comes from long-term accumulation through problem solving and reading literature. AI's performance on standard problem types is diminishing the marginal value of the "drilling" component of traditional training, yet intuition is precisely the capability that current large models struggle to reproduce reliably. Scholars such as Tao argue that education should train students more in posing good questions, evaluating proof ideas, identifying errors, and drawing cross-disciplinary analogies — areas where humans still hold an advantage when collaborating with AI.

How Should the Mathematics Community Respond

Tao's "war footing" is essentially a call to action. He advocates that the mathematics community actively embrace AI tools while accelerating the establishment of usage norms and verification standards. Rather than passively waiting for the shock to arrive, it is better to proactively reshape the research process.

The discussion on Hacker News reflects similar anxiety: some commenters believe mathematics is merely the first purely intellectual field to be profoundly changed by AI, and that more disciplines will follow. Others caution that excessive panic may obscure AI's positive potential as an augmentation tool.

Regardless of stance, a consensus is forming — the rules of the game in mathematical research have changed, and the speed of adaptation will determine the future position of individuals and institutions.

One-line Summary

Terence Tao warns in "war footing" that AI is restructuring the paradigm of mathematical research and calls on the mathematics community to respond proactively.

Paragraph Summary

Fields Medalist Terence Tao described the mathematics community's urgency in the face of AI's impact as a "war footing," sparking widespread discussion on Hacker News. The article notes that large language models are growing stronger in theorem proving, conjecture generation, and literature review, changing traditional research methods that rely on personal intuition and long-term accumulation. The crisis manifests in three areas: AI tools create imbalances in research efficiency and fairness, eroding collaborative culture; AI-generated proofs outpace human verification capacity, threatening the credibility of the knowledge system; and the problem-solving skills emphasized in traditional mathematics training are being caught up with by AI, creating a gap in talent development. Tao advocates that the mathematics community actively embrace AI while establishing usage norms and verification standards. The discussion includes both concerns that more disciplines will be affected and reminders of AI's positive potential as an augmentation tool.