Terence Tao argues AI could bring division of labor to math for the first time in history

Editor's take

AI's potential to facilitate a division of labor in mathematical research, as articulated by Terence Tao, suggests a fundamental shift from individualistic, end-to-end problem-solving to specialized roles. Previously, a mathematician was expected to conceptualize, execute, and rigorously verify their work, a highly integrated process.

This development could accelerate discovery by allowing mathematicians to focus on high-level conceptualization and hypothesis generation, while AI handles computationally intensive tasks like proof verification or exploring vast problem spaces. The impact extends to education and the training of future mathematicians, potentially creating new career paths and altering the skill sets required.

Future developments will reveal whether this division of labor truly democratizes mathematical research or concentrates power within entities capable of developing and deploying advanced AI tools for mathematics. Observing the evolution of AI-assisted theorem provers, like Lean or Isabelle/HOL, and their adoption by the broader mathematical community will be key indicators.