Terence Tao
Professor of Mathematics, UCLA
關於
Terence Tao is a mathematician at UCLA widely regarded as one of the greatest living mathematicians. Born in Adelaide, Australia, he was a child prodigy who earned his PhD from Princeton at age 21 and became UCLA's youngest-ever full professor at 24. He received the Fields Medal in 2006, the MacArthur Fellowship, the Breakthrough Prize in Mathematics, and the Royal Medal for his contributions spanning harmonic analysis, partial differential equations, combinatorics, and additive number theory. He has authored over 300 research papers and actively explores the role of AI in mathematics, including formal proof verification with tools like Lean.
主要貢獻
- Awarded the Fields Medal (2006) for contributions across multiple mathematical fields
- Youngest-ever full professor at UCLA, appointed at age 24
- Co-proved the Green–Tao theorem on arithmetic progressions of primes
- Pioneered the use of AI tools for formalizing mathematical proofs in Lean
- Authored over 300 research papers spanning harmonic analysis, PDEs, combinatorics, and number theory
影片與訪談
Formalizing a proof in Lean using Claude Code
Tao demonstrates using Claude Code to formalize a mathematical proof in the Lean proof assistant
Watch on YouTube
The Potential for AI in Science and Mathematics
Oxford Mathematics public lecture on how AI could transform scientific and mathematical research
Watch on YouTube
Terence Tao – AI is still brute force but it will revolutionize experimental math
Tao on how AI, despite being brute force, will transform experimental mathematics
Watch on YouTube
