KB

Kevin Buzzard

Mathematician
1ポッドキャスト出演1番組2026期間
よく一緒に出る人
TSTim Scarfe×1LDLeonardo de Moura×1JAJeremy Avigad×1KHKevin Hartnett×1PLPaul Lessard×1

ポッドキャスト出演

1 回 · 新しい順
タイトルの言語
日本語のタイトルはまだないため、英語の原題を表示しています。
20261 回
Machine Learning Street Talk2026年10月Kevin Hartnett on Lean, Mathematical Proof and the Limits of AI Verificationホスト：Tim Scarfe · 共演：Kevin Hartnett, Leonardo de Moura, Jeremy Avigad, Paul LessardMathematicsSoftware engineeringMachine LearningゲストEN