https://youtu.be/0wL8NlhxXcU AI for the Working Mathematician Speaker: Daniel Litt, University of Toronto Title: Working with LLMs to do high quality math Abstract: Much hay has been made of the capabilities of LLMs to do math autonomously, and indeed frontier models have resolved some long-standing, interesting open questions. But our goal is not to produce papers, but […]
AI for the Working Mathematician Speaker: Akhil Mathew, University of Chicago Title: Finite locally free group schemes Abstract: The notion of a finite locally free group scheme is a natural generalization of the usual notion of a finite group. Lagrange's theorem states that all nth powers vanish in a group of order n. However, this need […]
AI for the Working Mathematician Speaker: Harold Williams, USC Title: An Informal Introduction to Formal Proofs Abstract: In this talk we will give an introduction to Lean, a programming language adapted to expressing and verifying proofs. Lean and its flagship library, mathlib, have been the focus of a dedicated user community for about a decade, […]