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

TL;DR AI
2 min readKey summary
Terence Tao says AI could reshape mathematics by splitting research into roles like framing problems, setting strategy, executing steps, and verifying results.
He warned that AI may also flood the field with untested ideas unless formal verification keeps pace with generation.
Tao envisions a more “industrial” style of math, where AI helps larger teams work more collaboratively while humans provide judgment and checking.
He said real progress will require advances in multiple AI capabilities at once, not just one breakthrough.


