陶哲轩与邓煜｜Why We Build Open Math Model（SAIR 访谈）

观看 SAIR 原版访谈（YouTube，22:46） (opens in a new tab)

录像发布时间（北京时间）　。本条目按 SAIR 在 YouTube 的公开发布时间登记。日历从 10:15 排至 10:38，按片长 22 分 46 秒计算。

AI 能批量生成证明之后，怎样判断一篇工作是否推动了数学理解？陶哲轩和邓煜谈到如何追溯想法的来源、给贡献者署名，以及怎样建设由数学共同体参与的开放工具。可从 04:48 (opens in a new tab) 看数学应奖励什么，从 09:05 (opens in a new tab) 看署名和引用，从 13:17 (opens in a new tab) 看开放工具。

B 站版本 (opens in a new tab)