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 2 videos
Save the 2 videos on Kevin Buzzard to your own pod.
Sign up free to keep building your knowledge base on Kevin Buzzard as more episodes are added.
Videos Mentioning Kevin Buzzard
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.
Scaling Past Informal AI - Carina Hong, Axiom Math
Latent Space
Mathematician who Kenny (from Axiom Math) worked with to build out mathlib, the Lean mathematics library.