aboutlogic
Avsnitt

aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math

aboutlogic
Dela

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.

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Deniz Sarikaya, Thorsten Altenkirch. Innehållet i podden är skapat av Deniz Sarikaya, Thorsten Altenkirch och inte av, eller tillsammans med, Poddtoppen.