The AIMO Prize and IMO 2024 are supported by XTX Markets
Speaking at the 65th IMO in Bath, UK, Terence Tao gives an overview of how computers and AI are being used in mathematical research. He discusses the evolution from early computational tools to modern machine learning and formal proof assistants, highlighting recent breakthroughs and ongoing challenges. Tao emphasizes that while AI is becoming increasingly useful in mathematics, human insight and creativity remain essential for making meaningful progress in the field.
00:00 Introduction by Gregor Dolinar, IMO President
01:41 History of Machines and Mathematics
06:11 Online Encyclopedia of Integer Sequences
09:28 SAT Solvers
14:38 Proof Assistants
36:05 Machine Learning
41:34 Large Language Models
51:11 Q&A: Voevodsky
53:14 Q&A: Attending university at a young age
55:10 Q&A: Choosing fields of mathematics, Erdős number
1 view
1499
405
9 years ago 00:47:51 108
Terence Tao: Structure and Randomness in the Prime Numbers, UCLA
4 years ago 00:24:09 1
Interview at Cirm: Terence TAO
8 months ago 00:54:56 1
Terence Tao, “Machine Assisted Proof“
10 years ago 01:05:04 14
Terence Tao: Nilsequences and the Primes, UCLA
7 years ago 00:50:30 28
“Concatenation theorems for the Gowers uniformity norms, and applications“ Terence Tao [2015]
6 years ago 01:02:10 3
Terence Tao: Vaporizing and freezing the Riemann zeta function
9 years ago 01:09:11 5
Terence Tao - Finite time blowup for an averaged Navier-Stokes equation
2 years ago 00:05:21 1
El Libro de Analisis de Terence Tao
4 years ago 00:55:36 1
Terence Tao: Equidistribution estimates for the primes
2 years ago 00:11:13 1
The Test That Terence Tao Aced at Age 7
8 months ago 00:02:10 2
Terence Tao Teaches Mathematical Thinking | Official Trailer | MasterClass
11 years ago 00:03:01 1.2K
Теренс Тао
2 years ago 00:04:38 1
Terence Trent D’arby - Sign Your Name (Tradução)
8 months ago 00:25:30 1
Math texts, pi creatures, problem solving, etc. | 3blue1brown Q&A for Bilibili
4 years ago 00:10:01 281
Why “probability of 0” does not mean “impossible” | Probabilities of probabilities, part 2
1 year ago 00:10:57 1
The World’s Best Mathematician (*) - Numberphile
8 months ago 00:17:42 1
The study tip they’re NOT telling you | How I went from a 2:2 to 80% at Cambridge University
3 years ago 00:07:03 5
Бабки математика Теренса Тао.
1 year ago 00:01:00 2
ASMR police
1 year ago 04:05:00 1
ШТУЧНЫ ІНТЭЛЕКТ і як з ім ПРАЦАВАЦЬ / Інструкцыя для аўтараў кантэнту / Спецыяльны выпуск