KB

Kevin Buzzard

Mathematician
1episodios de pódcast1programas2026años
APARECE A MENUDO CON
TSTim Scarfe×1LDLeonardo de Moura×1JAJeremy Avigad×1KHKevin Hartnett×1PLPaul Lessard×1

Apariciones en pódcasts

1 episodios · más recientes primero
Títulos en
Aún no hay títulos en español; se muestran los originales en inglés.
20261 episodios
Machine Learning Street Talkoct 2026Kevin Hartnett on Lean, Mathematical Proof and the Limits of AI VerificationPresenta: Tim Scarfe · Con: Kevin Hartnett, Leonardo de Moura, Jeremy Avigad, Paul LessardMathematicsSoftware engineeringMachine LearningInvitadoEN