Kevin Buzzard
1 statements across 1 episodes · 1 bullish · 0 bearish · 1 people on the record · first statement Jul 24, 2025 by Dr. Jasper Zhang · said 3 times in 2 episodes since 2025 · across every show →
Mentions by year
brought up most by Dr. Jasper Zhang (2), Carina Hong (1)
tap a year for its mentions
2026 1 mention in 1 episode
Everything said about Kevin Buzzard, oldest first
Jul 24, 2025 bullish
Formalizing Fermat's Last Theorem in Lean is doable in 2-3 years
“It's I think definitely possible. Yeah. Like he, so the professor is Kevin buzzard and he got like a grant and now he just like focused on writing the proof for Ling. Like he's hoping to finish that in like two or three years. And then basically like if Ling i…”