aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math
aboutlogic #15 | Emily Riehl (Johns Hopkins University) joins us to explore higher category theory, homotopy, and the role of AI in modern mathematics. From the foundations of category theory to the challenges of formalizing math with proof assistants like Lean, Emily shares her insights on synthetic vs. analytic approaches, the beauty of abstraction, and how AI is changing mathematical research.
Podzilla Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.
Listen to This Episode
More from aboutlogic
aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics
aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI
aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
Get summaries like this every morning.
Free AI-powered recaps of aboutlogic and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.