Media Summary: Kevin Buzzard, Feb 4 2026, AI and Math seminar, Rutgers What if the universe you live in is just a noisy approximation of something perfect? I will talk about my ongoing attempt to teach Lean a proof of Fermat's Last Theorem. I'll give a broad talk including an update on ...
Prof Kevin Buzzard Formalizing Mathematics - Detailed Analysis & Overview
Kevin Buzzard, Feb 4 2026, AI and Math seminar, Rutgers What if the universe you live in is just a noisy approximation of something perfect? I will talk about my ongoing attempt to teach Lean a proof of Fermat's Last Theorem. I'll give a broad talk including an update on ... Title: Potential modularity of residual representations Speaker: October 1, 2025 Lean Learning Seminar Lecture by
