LD

Leonardo de Moura

2期播客1个节目2026时间跨度
常一起出现的人
TSTim Scarfe×2JAJeremy Avigad×1KBKevin Buzzard×1KHKevin Hartnett×1PLPaul Lessard×1

参加过的播客

2 期 · 最新在前
标题显示为
标题由 AI 从英语原文翻译。
20262 期
Machine Learning Street Talk2026年10月Kevin Hartnett：Lean、数学证明与 AI 验证的边界主持：Tim Scarfe · 同台：Kevin Hartnett, Kevin Buzzard, Jeremy Avigad, Paul LessardMathematicsSoftware engineeringMachine Learning嘉宾EN → 简体中文Machine Learning Street Talk2026年9月Lean、AI 与机器检查证明的边界主持：Tim ScarfeMathematicsAI research嘉宾EN → 简体中文