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
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...
We in the United States are deep in the middle of a major national election, and over half of the world’s population also have...
Imagine trying to unfold 5 layered, thin metallic sheets, each the size of a tennis court without tearing or snagging the material. Now imagine...