AI用88小时"攻破"千禧难题,25位菲尔兹奖得主、3120位数学家联名声讨:陶哲轩们反对的不是AI,是"刷榜式数学"

你上学时有没有被数学压垮过的时刻?现在,全世界最会数学的一群人,也被一件事压到了一起。9月11日,陶哲轩、邓煜、彼得·舒尔茨等25位菲尔兹奖得主联名发布《人工智能在数学中的严重错位》公开信,签署者横跨1978年到2026年近半个世纪的获奖史,短短两天,3120位数学家跟进联署。他们反对的不是AI,而是一种新的做法:把攻克数学难题当成模型刷榜的能力基准。

88小时的里程碑,撞上47年的学术传统

导火索在三天前点燃。9月8日,OpenAI宣布:其未公开的内部模型动用约1万个AI智能体、消耗1300亿输出token,仅用88小时就给出了纳维-斯托克斯方程(N-S方程)存在性与光滑性问题的证明,随后完成166页论文和Lean形式化验证。这是克雷数学研究所2000年悬赏百万美元的七大"千禧年大奖难题"之一,此前近四分之一个世纪,七个问题只被人类解决过一个。

但在OpenAI官宣几小时前,纽约大学数学家巴克马斯特已深夜抢先公开三项成果和一份时间线声明:他与Anthropic研究员阿尔珀格在这一方向闭关近一年,8月22日已完成相关方程爆破结果的Lean验证,正当打磨论文之际,社交媒体上传出"Claude已解决千禧难题"的传言,随后OpenAI集中算力冲向同一路线。他质疑:自己长期把研究草稿放进OpenAI的Codex工具里,模型是否"偷看"了这些未发表工作?OpenAI回应模型不查阅用户数据,却承认无法完全排除去标识化数据在训练中的间接作用。

更难堪的插曲在交涉桌上:据巴克马斯特的四页声明,OpenAI高管布贝克曾提议由他单独署名、把合作者阿尔珀格排除在外——理由是后者任职于竞争对手Anthropic;当他表示要公开真相时,对方回了句"你为什么要毁掉自己的职业生涯?"布贝克随后否认了这些指控。一场本该是技术突破的官宣,就此变成了学术伦理的公开审讯。

激励错位:一道题对两家机构,是两种东西

把时间线摆开,冲突的根源浮出水面:同一条N-S方程,在OpenAI眼里是融资叙事里的里程碑——9月1日听闻Anthropic解决了两个千禧难题,受"激励"立刻启动冲锋;而在数学共同体眼里,难题是"路标和灯塔",攻克它的意义在于衍生新方法、再经过漫长的讲座、讨论与教学,沉淀进整个学科的土壤。

数字经济应用实践专家骆仁童博士指出,当"刷榜"成为目标函数,模型优化的是分数而不是知识增量——这是AI产业最典型的指标错配。88小时生产出一份正确性存疑待同行检验的证明,若不能被人类数学家消化、提炼、写进教科书,它对学科的净贡献可能是负的:陶哲轩把它比作"得到答案与获得理解之间前所未有的脱钩",并警告那些值得攻克的"好问题",正在像沿海的淡水一样被商业算力无差别抽取耗尽。

更隐蔽的伤害在人与数据。巴克马斯特们的遭遇揭示了一个结构性问题:数学家把草稿、对话、直觉喂给AI工具,而工具背后的公司既是服务提供者,又是竞争者——当宣布"独立解题"的主体是AI而非某个人,传统学术规范里"抢发""剽窃"的追责机制全部失灵。


三家实验室,三种路线,三种答案

这场冲突里,不同玩家其实已给出不同的路线样本。

OpenAI走的是"竞赛式"路线:听闻对手解决难题便启动万人智能体集群强攻,答案优先、发布仓促,追求的是宣传效应与融资叙事。

Anthropic走的是"伙伴式"路线:研究员阿尔珀格以个人身份用Claude Fable 5辅助研究,7月靠它找到存在87年的雅可比猜想反例,人类主导选题与验证,AI承担检索与补全——但也正是"公司员工深度参与前沿研究",埋下了署名争议的引线。

学术机构则在尝试第三条路:北大AI4MATH团队的系统5月全自动否定了悬置十余年的Anderson猜想并完成近两万行Lean验证,论文规范发表、方法开源共享。团队负责人刘若川提醒得更实在:AI提供的是"know-how",基本功没打牢就依赖AI的人,差距反而会拉大。

数字经济应用实践专家骆仁童博士强调,这场联名信真正改写的,是数字经济时代的知识生产关系——署名权、优先权、数据主权,正在成为知识行业的"新物权"。未来谁掌握成果的消化、传承与教学,谁就掌握知识的定价权;把AI当抢跑工具的人拿走头条,把AI当研究伙伴的人沉淀资产。


数学家们想要的,不是慢,而是根

值得注意的是,这封公开信开篇就声明:不反对AI参与数学研究,甚至承认它加速研究的巨大潜力。他们要的从来不是让时钟倒转,而是三条底线:给论文撰写和同行评审留足时间、引用时尊重前人工作、维护人类在消化与传承中的核心位置。6月的《莱顿宣言》、9月的联名信,数学界正在第一次把自己的价值观白纸黑字写下来。

AI可以批量生产答案,但理解力仍是人类的手艺。一门学科的繁荣,从来不是由解题速度定义的,而是由下一代人能不能踩着前人的肩膀提出新问题定义的。

如果答案可以被88小时生产,你觉得"懂"这个字,还值多少钱?评论区聊聊。

商道童言(Innovationcases)欢迎评论、点赞和分享哦!~~

热推新书《AI提问大师》《DeepSeek应用能手》现已上架!

免费电子书:|||

数字经济应用实践专家 骆仁童主讲课程

企业数智化:||

产业数字化:||

数字化转型:||||||

创新与思维:|||