陶哲轩邓煜对谈：呼吁保留数学慢科研价值，推进开放数学 AI 工具

两位菲尔兹奖得主陶哲轩与邓煜针对商业 AI 批量发布数学证明引发的争议提出核心观点：AI 产出数学证明不代表人类真正理解了题目，解出问题和理解证明是两回事，比起 AI 解题数量，更应关注证明的可理解性、推导的可核查性以及数学家能否在此基础上继续探索。二人认为 AI 可承担繁琐推导、带来新想法，但需保留慢科研带来的增进理解、建设学术共同体、延续人类对学科的掌握等价值，同时要追溯 AI 产出内容的思想来源与贡献归属，维护学术传承链条。二人参与发起 Open Math Model 开放数学模型计划，先推出整合现有开放模型、研究工具与协作功能的 Open Math OS 工作平台，推动数学共同体参与工具开发，让 AI 真正服务于数学研究，认为提出有价值问题、设计证明路线、发展新想法等人类核心研究能力需要持续培养，好的 AI 工具应当提升使用者的研究能力而非取而代之。