Institute for Advanced Study

### Lecture 1: Archimedes' giant troll

Monday April 1, 2024 at 16:00, Tuttleman Learning Center, room 101A 22-line poem written around 200 B.C. and attributed to Archimedes challenges the diligent and wise recipient to compute the number of cattle in the herds of the Sun God, after enumerating various properties of these herds. In mathematical language, the lines of the poem translate into a system of constraints amounting to a quadratic equation in two variables; but the resulting question required a further 2000 years to solve. (It turns out that the Sun God has no shortage of cows.) I will tell the story of this puzzle and its underlying mathematics, which is amazingly rich, inspiring mathematicians from Ancient Greece and medieval India to the present.

### Lecture 2: The duality paradigm for compact groups

Wednesday April 3, 2024 at 11:00, Wachman 617It is a remarkable fact that there is a duality on the set of compact connected Lie groups; this duality interchanges, for example, the rotation group in three dimensions, and the group of unitary two-by-two matrices with determinant 1. This duality emerged in mathematics in the 1960s and, independently, in physics in the 1970s. In mathematics, it has served as an organizing principle for a great variety of phenomena related to Lie group theory, much of which falls under the heading of the "Langlands program". I will describe some of the history and then two more recent developments: the realization that the mathematical and physics contexts for the duality are actually related to one another, and my recent work with Ben-Zvi and Sakellaridis where we seek to incorporate into the duality spaces upon which the group acts.

### Lecture 3: The AI mathematician

Wednesday April 3, 2024 at 14:00, Wachman 617It is likely that developments in automated reasoning will transform research mathematics. I will discuss some ways in which we mathematicians might think about and approach this. The talk will *not* be about current or potential abilities of computers to do mathematics - rather I will look at topics such as the history of automation and mathematics, and related philosophical questions.

April 1991 | March 1992 | March 1993 | April 1994 | November 1994 | April 1996 | October 1996 | January 1997 | April 1998 | April 1999 | March 2000 | March 2001 | March 2002 | October 2003 | April 2004 | March 2005 | November 2006 | November 2007 | November 2008 | April 2009 | April 2010 | February 2012 | April 2012 | September 2013 | September 2014 | October 2015 | September 2016 | February 2018 | October 2018 | September 2019 | October 2023