Demetri Spanos and Casey Muratori discuss emerging topics in artificial intelligence.
Curated by: Molly Rocket (12 videos)
From https://www.computerenhance.com/p/what-is-ai-doing-to-math Over the course of 2026, AI has advanced from being a mathematician’s assistant to, in some cases, doing the majority of the work behind important new discoveries. What does this mean for formal mathematics as a discipline? In this episode of Wading Through AI, Demetri walks Casey through three recent high-profile results made possible by the use of AI, and discusses the potential impact of this new level of automation on the field going forward. Demetri Spanos: https://demetrispanos.com Casey Muratori: https://computerenhance.com All artwork for the series was hand-drawn by Anna Rettberg (https://x.com/aerettberg) without generative AI.