- Видео 1
- Просмотров 617 792
AIMO Prize
Великобритания
Добавлен 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...
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...
Просмотров: 618 068