- 1
- 612 609
AIMO Prize
United Kingdom
เข้าร่วมเมื่อ 20 ส.ค. 2024
XTX Markets has launched a new $10mn challenge fund, the Artificial Intelligence Mathematical Olympiad Prize (AIMO Prize).
The fund intends to spur the open development of AI models that can reason mathematically, leading to the creation of a publicly-shared AI model capable of winning a gold medal in the International Mathematical Olympiad (IMO).
The fund intends to spur the open development of AI models that can reason mathematically, leading to the creation of a publicly-shared AI model capable of winning a gold medal in the International Mathematical Olympiad (IMO).
Terence Tao at IMO 2024: AI and Mathematics
The AIMO Prize and IMO 2024 are supported by XTX Markets
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
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
มุมมอง: 613 205