Mathematics and AI
University of Washington Fall 2025 graduate course with public slides, Lean examples, projects, and readings on machine learning, formalization, autoformalization, mathematical discovery, and ethics.
- from
- Math
- added
- 2026-10-10
- likes
- 0
similar
-
Math AI Seminar math.washington.edu
University of Washington research seminar on formalization, theorem proving, mathematical AI, and machine-learning applications in mathematics, with a multi-year event archive.
-
cs.washington.edu/research/ai cs.washington.edu
-
Mathematics of Machine Learning ocw.mit.edu
Free graduate MIT course on the mathematical and statistical foundations of machine learning, with lecture notes, assignments, and problem-set solutions.
-
AI-Assisted Mathematical Discovery github.com
Open thirteen-week course with notes, notebooks, exercises, and case studies on coding agents, machine learning, language models, reinforcement learning, and experimental mathematical research.
-
MIT Machine Learning Lecture Slides ai.mit.edu
-
AI for Mathematics and Theoretical Computer Science simons.berkeley.edu
Simons Institute and SLMath workshop archive with recorded talks on proof assistants, automated reasoning, machine learning, and mathematical discovery.
Math › Mathematical Practice > AI for Mathematics: “University of Washington Fall 2025 graduate course with public slides, Lean examples, projects, and readings on machine learning, formalization, autoformalization, mathematical discovery, and ethics.”