Daniel Litt
Associate professor of mathematics at the University of Toronto who studies interactions between AI and mathematics and discusses practical impacts and concerns for the field.
Top 3 podcasts with Daniel Litt
Ranked by the Snipd community
25 snips
Mar 27, 2026 • 19min
Move over, vibe-coding. Vibe-proving is here for math
Daniel Litt, an associate professor studying AI’s interaction with math, and Emily Riehl, a Johns Hopkins category theory researcher, discuss AI’s leap from flubbed arithmetic to contest-level wins. They debate AI-generated proofs, the rise of ‘vibe-proving,’ risks of bogus preprints, and the role of formal proof assistants. The conversation weighs changing workflows, verification standards, and what mathematicians will need going forward.
18 snips
Jan 29, 2026 • 2h 11min
AI math capabilities could be jagged for a long time – Daniel Litt
Daniel Litt, a University of Toronto mathematician focused on algebraic geometry and number theory, discusses AI’s uneven math strengths. He examines which problems models can crack, why abilities are jagged across subfields, and how massive computation and automated searches could change research. He also explores benchmarks, creativity, and signs that would prove AI can genuinely advance mathematics.
Mar 11, 2026 • 50min
Iran employs disruptive maritime tactics in response to strikes
Shashank Joshi, defense editor at The Economist, explains Iran's shift to asymmetric naval tactics and mining the Strait of Hormuz. Sara Hassan, reporter, narrates the Hmong community’s fear and organizing after ICE raids in Minnesota. Daniel Litt, assistant professor of mathematics, explores how AI is reshaping mathematical research and what that means for future practice.
