Kevin Buzzard

Person

Mathematician known for his work in formalizing proofs with Lean, suggesting it might be the future of mathematics; also leading a project to formalize Fermat's Last Theorem.

Mentioned in 1 video

Videos Mentioning Kevin Buzzard

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Lex Fridman

Mathematician known for his work in formalizing proofs with Lean, suggesting it might be the future of mathematics; also leading a project to formalize Fermat's Last Theorem.