
Terence Tao Says AI Could Reshape Math Through Specialization
Mathematician Terence Tao argues AI and formal verification could finally let mathematics adopt a real division of labor, provided automation is paired with rigorous checking.
- Tao says AI could enable a true division of labor in mathematics.
- He argues automation only works when paired with strong verification.















