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

Download (MP3)




Bagikan