KB

Kevin Buzzard

Mathematician
1Podcast-Folgen1Sendungen2026Zeitraum
OFT ZUSAMMEN MIT
TSTim Scarfe×1LDLeonardo de Moura×1JAJeremy Avigad×1KHKevin Hartnett×1PLPaul Lessard×1

Podcast-Auftritte

1 Folgen · neueste zuerst
Titel auf
Titel auf Deutsch gibt es noch nicht – angezeigt wird das englische Original.
20261 Folgen
Machine Learning Street TalkOkt. 2026Kevin Hartnett on Lean, Mathematical Proof and the Limits of AI VerificationModeration: Tim Scarfe · Mit: Kevin Hartnett, Leonardo de Moura, Jeremy Avigad, Paul LessardMathematicsSoftware engineeringMachine LearningGastEN