RecodeX 重构消息，菲尔兹奖得主陶哲轩与邓煜近日对谈，针对商业AI批量发布数学证明引发的争议提出：AI产出证明不代表人类真正理解题目，解出问题与理解证明是两回事，比起解题数量，更应关注证明的可理解性、推导的可核查性以及数学家能否在此基础上继续探索。

两人认为AI可承担繁琐推导并带来新想法，但需保留慢科研在增进理解、建设学术共同体、延续人类对学科掌握方面的价值，同时追溯AI产出内容的思想来源与贡献归属。二人参与发起Open Math Model开放数学模型计划，先推出整合现有开放模型、研究工具与协作功能的Open Math OS工作平台，推动数学共同体参与工具开发。