Terence Tao Reframes AI Mathematics as Math 2.0

Tao’s strongest point is that AI may create a digestion crisis: verified proofs could arrive faster than humans can understand, explain, and integrate them.

• –Formal proof systems can enable large-scale collaboration, but verification does not guarantee that a formal statement matches the intended mathematics.
• –Developers should treat AI as a junior research partner for exploration, red-teaming, and tedious formalization—not as an unquestioned source of insight.
• –Benchmarks that reward solved problems alone risk Goodhart’s law, pushing systems toward impressive outputs that generate little durable understanding.
• –AI-assisted mathematics will need disclosure norms, better exposition standards, and new ways to reward canonical, teachable results.
• –The talk is also a warning for AI developers: increasing generation speed without improving curation and interpretation can reduce the signal-to-noise ratio of an entire field.