Kevin Buzzard
person
3 mentions
3 recordings
first heard Jan 2025
last heard 23 Feb
↓1 vs the 6 months before
British mathematician and formal‑proof advocate, colleague of Tao
Trend
No mentions in the last 6M.Widen the range to see when Kevin Buzzard was said.
Moments
newest first · ▶ plays the momentDavid BessisTheories of Everything with Curt Jaimungal · David Bessis: What Mathematics Really Is and How to Learn It · 18:38 · 23 Feb
…That is a more recent uh example that is uh you know, there is a team uh with Kevin Buzzard uh uh who was trying to pr formalize the proof of Fermas last year.…
Lex FridmanLex Fridman Podcast · #472 – Terence Tao: Hardest Problems in Mathematics, Physi... · 1:51:50 · Jun 2025
…But I think I saw a talk from Kevin Buzzard about the Lean Programming Language just a few years ago, and he was saying that this might be the future of mathematics.…
Yang-Hui HeTheories of Everything with Curt Jaimungal · Yang-Hui He: Why AI Will Permanently Transform How Math Is D... · 24:15 · Jan 2025
…Uh I I do a little bit of lean, but also lean, the the true champion of lean is Kevin Buzzard uh at Imperial, um 30 minutes down the road from here, from from from this spot.…
All 3 moments