陶哲轩谈AI数学：警惕无人能消化的证明

IT时代网10月9日消息，围绕OpenAI近期公布的大批AI数学成果，知名数学家陶哲轩公开表达保留态度。他在10月7日的一篇长帖中写道，自己并不反对用AI做数学，也一直是AI辅助研究的积极使用者，但强烈反对把“用AI快速攻克著名难题”当作主要目标或产品展示，认为这会损害数学共同体赖以运转的理解、教学、合作与开放探索机制。

在陶哲轩看来，传统数学中一个长期猜想的突破远不止“得到答案”：作者会做报告、参加研讨、与同行交流，证明随后被简化、解释、写入教材，并催生后续问题、合作者与新的研究方向。而当前AI公司的做法往往由提示者驱动模型自主解题，目标一旦“解决”，后续的理解、报告、同行讨论和领域建设却很少发生，发布者甚至可能不足以解释AI的输出、回答问题或与领域互动。

他把这种局面称为数学界的“证明消化不良”：AI能高速生成命题、证明和反例，人类却来不及验证、理解、写作、教学和吸收，结果出现大量无人能消化的证明。他尤其担心OpenAI把纳维–斯托克斯方程等千禧年难题当作模型能力基准来攻克，认为这把解题速度和数量当成了衡量理解与洞见的指标，而速度和数量本身并不等于数学理解。

陶哲轩还提醒，问题一旦被公开“解决”，就几乎无法恢复为“未解决”状态，即便人们后来想寻找不同路径、提炼新方法，选择空间也已收窄。此前，本站曾报道过OpenAI公布722份数学手稿 攻破数百难题。

注：本文综合自IT之家等，文中包含AI辅助创作的内容。

编辑：林一舟