『aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math』のカバーアート

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

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.
adbl_web_anon_alc_button_suppression_t1
まだレビューはありません