• Memorial Conference for the founders of index theory: Atiyah, Bott, Hirzebruch, and Singer

    Virtual

    In 2021, the CMSA hosted a lecture series on the literature of the mathematical sciences. This series highlights significant accomplishments in the intersection between mathematics and the sciences. Speakers include Edward Witten, Lydia Bieri, Simon Donaldson, Michael Freedman, Dan Freed, and many more. Videos of these talks can be found in this Youtube playlist. https://youtu.be/vb_JEhUW9t4 […]

  • Type theory from the perspective of artificial intelligence

    https://youtu.be/79ymkGQW3b4 Speaker: David McAllester - Toyota Technological Institute at Chicago Title: Type theory from the perspective of artificial intelligence Abstract: This talk will discuss dependent type theory from the perspective of artificial intelligence and cognitive science. From an artificial intelligence perspective it will be argued that type theory is central to defining the "game" of mathematics […]

  • A Bayesian neural network predicts the dissolution of compact planetary systems

    Virtual

    https://youtu.be/VhseP2V3NXg Speaker: Miles Cranmer - Princeton University Title: A Bayesian neural network predicts the dissolution of compact planetary systems Abstract: Despite over three hundred years of effort, no solutions exist for predicting when a general planetary configuration will become unstable. I will discuss our deep learning architecture (arxiv:2101.04117) which pushes forward this problem for compact systems. […]