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
Find our transcript here: LINK Follow more of IMSI’s work: www.IMSI.institute, (twitter) @IMSI_institute, (mastodon) https://sciencemastodon.com/@IMSI, (instagram) IMSI.institute Follow Sadie Witkowski: https://www.sadiewit.com/, @SadieWit This episode...
Our last episode featuring Statistician-in-Residence Tiffany Christian (at least for now), dives into sampling methods. How can we track animal populations, especially those who...
Hosts Sadie Witkowski and Ian Martin return for this season of Carry the Two, where we are exploring the intersection of AI and mathematical...