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
Turn on the news during the spring and you’ll hear how seasonal allergies are being made worse by climate change. But it turns out...
Joining the helm as cohost, Bates Professor Carrie Diaz Eaton leads this week’s exploration of how to build a data science tool, not just...
Welcome to Carry the Two, the podcast about how math and statistics impact the world around us from the Institute for Mathematical and Statistical...