The AIMO Prize and IMO 2024 are supported by XTX Markets

https://aimoprize.com/

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