网易首页 > 网易号 > 正文 申请入驻

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

0
分享至


你上学时有没有被数学压垮过的时刻?现在,全世界最会数学的一群人,也被一件事压到了一起。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应用能手》现已上架!


免费电子书:|||

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

企业数智化:||

产业数字化:||

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

创新与思维:|||

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
十个号码六个假,400官方客服咋就成了“李鬼”| 新京报快评

十个号码六个假,400官方客服咋就成了“李鬼”| 新京报快评

新京报
2026-10-15 18:53:56
马斯克重申泽连斯基该下台了:乌克兰人实际上鄙视泽连斯基,泽连斯基知道会惨败,所以取消了选举

马斯克重申泽连斯基该下台了:乌克兰人实际上鄙视泽连斯基,泽连斯基知道会惨败,所以取消了选举

极目新闻
2026-10-16 11:00:43
今天,A股收在3716点,迹象明显了,下周一,可能这样走

今天,A股收在3716点,迹象明显了,下周一,可能这样走

明心
2026-10-16 15:13:17
张佳宁现身银行办理业务,肚大如箩孕味十足,走路很慢过台阶小心

张佳宁现身银行办理业务,肚大如箩孕味十足,走路很慢过台阶小心

老王的视角
2026-10-16 15:33:51
砸150亿造桥!通车7年的沪苏通大桥,靠30元过路费真的回本了吗?

砸150亿造桥!通车7年的沪苏通大桥,靠30元过路费真的回本了吗?

牛锅巴小钒
2026-10-16 09:25:27
贵阳一在建环城高速项目发生土体垮塌致3人死亡

贵阳一在建环城高速项目发生土体垮塌致3人死亡

新京报
2026-10-16 15:10:08
科技股崩盘,这次暴出大雷了

科技股崩盘,这次暴出大雷了

睿知睿见
2026-10-16 07:28:07
国外发现“饿两天定律”,体重从138斤降到108斤,稳稳瘦下30斤

国外发现“饿两天定律”,体重从138斤降到108斤,稳稳瘦下30斤

健身狂人
2026-10-11 00:58:32
记者假扮俄军工买家,一开口要500台,中国公司开价1950万元

记者假扮俄军工买家,一开口要500台,中国公司开价1950万元

桂系007
2026-10-15 16:31:21
首进1000赛四强!法网亚军险胜前世界第3,锁定武网半决赛席位

首进1000赛四强!法网亚军险胜前世界第3,锁定武网半决赛席位

全景体育V
2026-10-16 18:16:37
张本智和父亲称:樊振东被挤走国乒完了。旁观者清还是别有用心

张本智和父亲称:樊振东被挤走国乒完了。旁观者清还是别有用心

姜大叔侃球
2026-10-16 11:34:26
胡塞武装公开表示:如果特朗普真的下令对我们发动打击,我们将把整个中东地区的美国人员和其利益作为攻击目标

胡塞武装公开表示:如果特朗普真的下令对我们发动打击,我们将把整个中东地区的美国人员和其利益作为攻击目标

吉刻新闻
2026-10-16 00:22:01
黎姿一家奢华游上海,二女儿腿伤打石膏出行,富商老公马廷强再度缺席

黎姿一家奢华游上海,二女儿腿伤打石膏出行,富商老公马廷强再度缺席

娱乐E君
2026-10-16 16:36:08
放走成都蓉城不犯法,暗示上海上港放弃比赛,但四川球迷不答应

放走成都蓉城不犯法,暗示上海上港放弃比赛,但四川球迷不答应

足球分析员
2026-10-16 11:00:13
尊界V800,被放进了黑盒子里

尊界V800,被放进了黑盒子里

马拉车市
2026-10-15 19:12:20
中国男篮收重大喜讯,国际篮联宣布最新决定,郭士强又要崛起

中国男篮收重大喜讯,国际篮联宣布最新决定,郭士强又要崛起

宗介说体育
2026-10-16 14:16:06
李斌评价特斯拉全新Roadster:这个我们真没有 点赞

李斌评价特斯拉全新Roadster:这个我们真没有 点赞

CNMO科技
2026-10-16 18:05:13
全网瞬间破防!陈小春终极回应:这辈子绝不找回被送走的弟弟

全网瞬间破防!陈小春终极回应:这辈子绝不找回被送走的弟弟

喜欢历史的阿繁
2026-10-16 03:59:46
一把U型锁毁半生!成都打人宝妈后续残酷:3大恶果,没一个能扛住

一把U型锁毁半生!成都打人宝妈后续残酷:3大恶果,没一个能扛住

游古史
2026-10-16 05:07:03
库克亲口盖章:iPhone Duo“中国独家制造”!今晚8点预售,200万人预约,但它可能不是给你抢的

库克亲口盖章:iPhone Duo“中国独家制造”!今晚8点预售,200万人预约,但它可能不是给你抢的

泡泡网
2026-10-16 10:48:09
2026-10-16 21:15:00
商道童言 incentive-icons
商道童言
关注数字经济及创新案例研究
2015文章数 1580关注度
往期回顾 全部

科技要闻

杨天若院士:AI是中国弯道超车的机会

头条要闻

妻子称丈夫出轨拿出女子80多次上门的监控 法院:非法

头条要闻

妻子称丈夫出轨拿出女子80多次上门的监控 法院:非法

体育要闻

工资一分不要,曼联名将想把母队带回西甲

娱乐要闻

郭富城现身香港大学,袁咏仪夫妇全程冷漠不搭话

财经要闻

港交所拟2028年下半年实施T+1结算

汽车要闻

特斯拉会飞?全新Roadster亮相

态度原创

艺术
本地
手机
游戏
教育

艺术要闻

开幕在即|如花星海・贾伟 KK 艺术个展,10月18日水立方隆重启幕!

本地新闻

因新荣记出圈,这座浙东小城才是吃货天堂

手机要闻

苹果首款折叠屏手机iPhone Duo今日开启预订 起售价1999美元

战神3移植大佬再出手!教团1886实现PC原生运行

教育要闻

蓉城幸福家·成长助力站|开好家庭会议,让家成为好好说话的地方

无障碍浏览 进入关怀版