搜索
陶哲轩邓煜对谈：呼吁保留数学慢科研价值，推进开放数学 AI 工具
9 小时前
菲尔兹奖得主陶哲轩与邓煜就商业AI批量发布数学证明的争议发表看法。他们指出，AI生成数学证明，并不意味着人类真正理解了题目，解出问题与理解证明是两个不同的概念。比起AI解题的数量，更应关注证明的可理解性、推导的可核查性，以及数学家能否在此基础上继续探索。他们认为，AI可以承担繁琐的推导工作，为数学家带来新想法，但慢科研的价值也不容忽视，如增进理解、建设学术共同体、延续人类对学科的掌握等。同时，需要追溯AI产出内容的思想来源，明确贡献归属，维护学术传承链条。为此，二人参与发起了Open Math Model开放数学模型计划，并率先推出了Open Math OS工作平台，该平台整合了现有开放模型、研究工具与协作功能，旨在推动数学共同体参与工具开发，让AI真正服务于数学研究。他们强调，提出有价值问题、设计证明路线、发展新想法等人类核心研究能力需要持续培养，好的AI工具应提升研究能力，而非取代人类。
