Mathematics & AI Episode 1: Jeremy Avigad
Ürünler eklenemedi
Sepete ekleme başarısız oldu.
İstek Listesine ekleme başarısız oldu.
İstek listesinden kaldırma başarısız oldu.
Kütüphaneye ekleme başarısız oldu
Podcast takip edilemedi
Podcast takibi bırakma başarısız oldu.
Mathematics & AI Episode 1: Jeremy Avigad
-
Seslendiren:
-
Yazan:
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