Jeremy Avigad's slides on the future of mathematics in the age of AI
ChengleiSi · x · 2026-10-10
Jeremy Avigad, the CMU professor and leading figure in formalized mathematics (Lean), gave a talk on the future of mathematics in the age of AI. Chenglei Si shared several slides from the talk that he found deeply inspiring — well worth viewing for Avigad's perspective on how AI and proof assistants will reshape mathematical research.
More from AGI Musings
- Prediction: AI cracks math by 2026, physics 2027, biology 2028, aging 2030 — rand_longevity · 2026-10-10
- punk6529: Kurzweil's 1990-2005 books are basically frontier labs' blog posts from 2023-2033 — CatAstro_Piyush · 2026-10-10
- Copernicus to AI: 'Our intelligence is not special' joins science's great decenterings — CatAstro_Piyush · 2026-10-10
- Mathematicians getting more attention in two months than since WWII, thanks to AI — haider1 · 2026-10-10
- Asking an agent to fix a bug you don't understand is continuous paperclip maxxing — brandon_xyzw · 2026-10-10
- RSI could rapidly obsolete current-generation GPUs, argues IridiumEagle — IridiumEagle · 2026-10-10