Open
Episode cover
YouTube20 Feb 2026
22m

【人工智能】数学天才入局AI | 陶哲轩 | Sair基金会 | 形式化验证 | Lean语言 | 逻辑证明 | 大语言模型LLM | 科学工作流 | 形式化代码 | 机器学习 | 严谨科学

Podcast cover

最佳拍档

Open in Podwise to generate AI notes

Sign in to process this episode and unlock summaries, transcripts, highlights and translations.

Open in Podwise

Shownotes are not generated by Podwise.

【人工智能】数学天才入局AI | 陶哲轩 | Sair基金会 | 形式化验证 | Lean语言 | 逻辑证明 | 大语言模型LLM | 科学工作流 | 形式化代码 | 机器学习 | 严谨科学