Terence Tao’s visit to Barcelona for the Fluid Dynamics, Geometry, and Computer Science in Interaction workshop, held from September 16-20, 2024, was a significant event for the mathematical community. Tao delivered the CRM Annual Colloquium on Machine Assisted Proofs at the Institut d’Estudis Catalans, discussing the evolving role of AI in mathematics. The event attracted a diverse audience, including many young students, and served as a major opportunity for collaboration and learning, with prominent speakers also contributing to the workshop.

Bellaterra, September 27, 2024 – Terence Tao, one of the most celebrated mathematicians working today, visited Barcelona to participate in the Fluid Dynamics, Geometry, and Computer Science in Interaction workshop from September 16 to 20, 2024. Organized by Ángel González Prieto (Universidad Complutense de Madrid), Eva Miranda (Universitat Politècnica de Catalunya-CRM), and Daniel Peralta-Salas (Instituto de Ciencias Matemáticas-CSIC), the workshop gathered leading experts to explore the intersections of these fields.

Tao, often described as the “Mozart” or the “Leonardo da Vinci” of mathematics, has contributed to fields ranging from number theory to harmonic analysis. His passion for numbers was evident from a young age. As he shared in an interview with Diari Ara, by the age of two, Tao had already taught older children how to count and often requested mathematical problems to occupy himself.

His IQ, measured at 230 when he was just eight years old, remains among the highest ever recorded, although Tao humbly downplays its significance. As he explained in the interview, it is hard work and curiosity, not IQ, that drives mathematical success. Some of Tao’s mathematical research has had far-reaching practical applications, including advances in medical imaging technologies like MRI scans. By connecting mathematical puzzles with real-world problems, Tao has helped reduce MRI scan times, making the procedure more efficient and less distressing for patients.

One of the highlights of Tao’s visit was delivering the CRM Annual Colloquium at the Institut d’Estudis Catalans on September 18. Titled Machine Assisted Proofs, his lecture explored how computers, artificial intelligence, and machine learning are increasingly becoming integral to mathematical discovery. He highlighted how these tools have evolved from being mere computational aids to now generating conjectures, performing proofs, and pushing the boundaries of what human mathematicians can achieve. Tao further speculated on the future of these collaborations, predicting a deeper integration of human creativity with machine precision.

The public colloquium, held in the packed Sala Prat de la Riba, was a major event for the mathematical community in Barcelona. It drew in a diverse audience, including many eager undergraduate students, providing them with a rare chance to engage directly with Terence Tao, one of the most influential mathematicians of our time. This gathering fostered lively discussions and served as a valuable networking opportunity, reinforcing Barcelona’s role as a hub for mathematical innovation and collaboration.

The workshop itself featured other prominent speakers, including Pierre Berger (IMJ-PRG, CNRS, Sorbonne Université), Pilar Bayer (Universitat de Barcelona), and Robert Ghrist (University of Pennsylvania). The week-long meeting facilitated deep interdisciplinary discussions, particularly on the intersections between fluid dynamics, geometry, and computational mathematics.

Tao’s visit to Barcelona not only provided a platform for sharing groundbreaking ideas but also inspired a new generation of mathematicians to explore the profound potential of collaboration between human and machine intelligence in solving some of the world’s most complex problems.