Mathematics & AI Episode 1: Jeremy Avigad

Welcome to a new season of Carry the Two, the podcast about how math and statistics impact the world around us from the Institute for Mathematical and Statistical Innovation.Hosts Sadie Witkowski and Ian Martin return  for this season of Carry the Two, where we are exploring the intersection of AI and mathematical research. To kick off the new season, we are joined by the director of the newly-established Institute for Computer-Aided Reasoning in Mathematics (a National Science Foundation mathematical sciences research institute), Jeremy Avigad. Find our transcript here: Google Doc Make sure to check out more about Jeremy Avigad's research and the new sister math institute, ICARM:https://www.andrew.cmu.edu/user/avigad/https://icarm.io/  Follow more of IMSI’s work: www.IMSI.institute, (bluesky) IMSI.institute (instagram) IMSI.institute Music by Blue Dot Sessions The Institute for Mathematical and Statistical Innovation (IMSI) is funded by NSF grant DMS-1929348