AI 数学研究：让工具增强人的能力 本期播客简介 本期我们克隆了：SAIR・Terence Tao & Yu Deng: Why We Build Open Math Model 原内容更新时间：2026-10-20 AI 一口气发布数百个数学证明，数学家真正担心的却不只是机器抢饭碗：证明里的想法能不能理解，功劳该归谁，科学文献中的思想来源还能不能追溯？ 数学教授 Terence Tao 和 Yu Deng 谈 AI 怎样拓展数学研究，也谈大量生成的证明给学术诚信、引用和成果评价带来的难题...