Leonardo de Moura: Machine-Checked Mathematics in the Age of AI
https://youtu.be/objFfoJRH_U.
Clark Barrett: CSLib - Building a Platform for AI-assisted Formal Verification in Lean
https://youtu.be/txRvy9hv52M.
Michael Freedman: Compression Is All You Need - Modeling Mathematics
https://youtu.be/4nM82nZzIxU.
Kevin Buzzard: On Autoformalisation
https://youtu.be/etZzn1Q7is0.
Andrea Bertozzi: A foray into AI for Mathematics
https://youtu.be/bx4BfuVFaPg.
Adam Brown: A.G.I. and the Future of Reasoning
https://youtu.be/gf1uwCH0HUU.
Deirdre Haskell: Mathematical AI at the Fields Institute
https://youtu.be/8lcHpsuIsOM.
