Professor Terence Tao, Taeyoung Kang at IMO 2024
Professor Terence Tao, Taeyoung Kang at IMO 2024

The 65th IMO in Bath was an unforgettable experience, highlighting the beauty and power of mathematics. It reinforced the notion of the ability of Mathematics to transcend borders and unite people under the common pursuit of the Mathematical truth. Participating as an observer, I felt honored to be part of this incredible event and to witness the future of mathematics in action.

– Taeyoung Kang IMO 2024 Observer A, Nepal

 

Speaking at the 65th IMO in Bath, UK, Professor 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. Professor Tao emphasizes that while AI is becoming increasingly useful in mathematics, human insight and creativity remain essential for making meaningful progress in the field.

  • History of Machines and Mathematics
  • Online Encyclopedia of Integer Sequences
  • SAT Solvers
  • Proof Assistants
  • Machine Learning
  • Large Language Models

 

 

 

About Professor Terence Tao

Terence Tao was born in Adelaide, Australia in 1975. He participated in three IMOs, culminating in a gold medal in 1987. He is a professor of mathematics at UCLA, having completed his PhD under Elias Stein at Princeton in 1996. His areas of research include harmonic analysis, PDE, combinatorics, and number theory.

He has received a number of awards, including the Salem Prize in 2000, the Fields Medal in 2006, the MacArthur Fellowship in 2007, the Crafoord prize in 2012 and the Breakthrough Prize in Mathematics in 2015. Terence also holds the James and Carol Collins chair in mathematics at UCLA, is a fellow of several national academies and also serves on the President’s Council of Advisors on Science and Technology.

For more information, visit IMO 2024.

 

What is the IMO?

The International Mathematical Olympiad (IMO) is the most prestigious mathematical competition in the world for high school students and is held in a different country each year.  The first IMO was held in 1959 in Romania with 7 countries participating. It has gradually expanded to over 100 countries from 5 continents. The IMO Board ensures that the competition takes place every year and that each host country abides by the rules and traditions of the IMO.

For more information, Visit AIMO Prize