Kevin Buzzard
Mathematician leading a funded project to formalize Fermat's Last Theorem in Lean
Kevin Buzzard (Mathematician leading a funded project to formalize Fermat's Last Theorem in Lean) is discussed on podcasts in TMT.
Discussed in
#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity TheoryLex Fridman Podcast · Oct 26, 2026 · 3 h 43 min
Lex Fridman and mathematicians Alex Kontorovich, Ankur Moitra and Steven Brunton discuss AI's claimed proofs of quasi-Riemann, Navier-Stokes, unique games and what it means for mathematics.