Explore a comprehensive lecture by Sophie Morel from ENS de Lyon, delivered as part of the Simons Institute for the Theory of Computing and SLMath Joint Workshop on AI for Mathematics and Theoretical Computer Science. This 76-minute talk presents Morel's insights and research at the intersection of artificial intelligence, mathematics, and theoretical computer science, offering valuable perspectives for researchers and students interested in these rapidly evolving fields.
AI for Mathematics and Theoretical Computer Science
Overview
Syllabus
Talk by Sophie Morel (ENS de Lyon)
Taught by
Simons Institute
Related Courses
-
Construction de représentations galoisiennes d'après Scholze
-
Learning-Theoretic Foundations of Algorithm Design
-
Computational Complexity and Formal Verification
-
How Can Machine Learning Help Mathematicians?
-
Adventures with an Automatic Prover: Exploring Walnut Software
-
Computer-Assisted Intuition: SAT Solvers in Mathematical Discovery
