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

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.

相关推荐
热点推荐
王鹤棣疯传做阴茎增大术坏死!「诊所急发3点声明」 热搜爆了压不下来

王鹤棣疯传做阴茎增大术坏死!「诊所急发3点声明」 热搜爆了压不下来

ETtoday星光云
2026-09-17 13:51:01
你们家那个拖后腿的人是谁?网友:正常情况祖坟不能一直冒青烟!

你们家那个拖后腿的人是谁?网友:正常情况祖坟不能一直冒青烟!

带你感受人间冷暖
2026-09-18 00:05:21
英联杯:17岁妖星双响 新援阿兰1射1传 曼城5-0诺维奇豪取6连胜

英联杯:17岁妖星双响 新援阿兰1射1传 曼城5-0诺维奇豪取6连胜

钉钉陌上花开
2026-09-18 05:49:21
Agent越来越多,制造业如何“真用上”?

Agent越来越多,制造业如何“真用上”?

正解局
2026-09-17 17:50:07
敬一丹病逝,丈夫手握3600亿资产、动用顶尖医疗团队,三个月贴身守护仍没能留住她

敬一丹病逝,丈夫手握3600亿资产、动用顶尖医疗团队,三个月贴身守护仍没能留住她

子芫伴你成长
2026-09-17 21:38:13
iPhone 18 Pro屏下组件藏不住:肉眼可见 强迫症直呼受不了

iPhone 18 Pro屏下组件藏不住:肉眼可见 强迫症直呼受不了

快科技
2026-09-17 16:35:04
陈建州术后晒合照,王力宏帮其提尿壶,发长文自省:不抽烟不喝酒不应酬,但6年每天只睡三四小时,6点起床送小孩上学,“我以为撑得住”

陈建州术后晒合照,王力宏帮其提尿壶,发长文自省:不抽烟不喝酒不应酬,但6年每天只睡三四小时,6点起床送小孩上学,“我以为撑得住”

极目新闻
2026-09-17 20:52:18
云南一老人上山放羊疑遭黑熊袭击身亡,当地:被找到时已无生命体征,死因有待最终鉴定

云南一老人上山放羊疑遭黑熊袭击身亡,当地:被找到时已无生命体征,死因有待最终鉴定

大风新闻
2026-09-17 21:22:05
醉驾挪车被吊销驾照 他起诉交管支队 “是你们让我挪的” 法院:喊话挪车不等于许可醉驾 驳回!

醉驾挪车被吊销驾照 他起诉交管支队 “是你们让我挪的” 法院:喊话挪车不等于许可醉驾 驳回!

闪电新闻
2026-09-17 11:27:42
特朗普不愿看见的一幕,还是发生了

特朗普不愿看见的一幕,还是发生了

上观新闻
2026-09-17 13:17:54
没想到,在敬一丹告别仪式上,55岁康辉竟因一个动作实现口碑暴涨

没想到,在敬一丹告别仪式上,55岁康辉竟因一个动作实现口碑暴涨

古书奇谈
2026-09-17 20:11:30
114比37狂胜77分!女篮亚运会又缔造一惨案:中国队争冠劲敌还是他们

114比37狂胜77分!女篮亚运会又缔造一惨案:中国队争冠劲敌还是他们

篮球快餐车
2026-09-17 19:57:02
问界这次的瓜,真的有点大啊!

问界这次的瓜,真的有点大啊!

芝麻科技讯官方号
2026-09-18 00:06:07
“中国人不来也没关系”?打脸了!

“中国人不来也没关系”?打脸了!

环球时报国际
2026-09-17 17:15:36
奶茶正绕过代谢,重创肾脏!清华大学:果糖不必先经传统代谢,就能直接损害线粒体功能,伤及肾小球,造成肾损伤

奶茶正绕过代谢,重创肾脏!清华大学:果糖不必先经传统代谢,就能直接损害线粒体功能,伤及肾小球,造成肾损伤

梅斯医学
2026-09-17 07:55:35
亲子鉴定的结果能有多毁三观?网友:要是编的,我都给你颁发一个最佳编剧奖

亲子鉴定的结果能有多毁三观?网友:要是编的,我都给你颁发一个最佳编剧奖

带你感受人间冷暖
2026-09-18 00:08:13
10月拿不出对策,中国就要完蛋?欧盟当众叫板,扬言不计代价报复

10月拿不出对策,中国就要完蛋?欧盟当众叫板,扬言不计代价报复

共工之锚
2026-09-18 00:34:31
网传未来14年平均每天6万人退休,网友担心社保能否负担得起钱?

网传未来14年平均每天6万人退休,网友担心社保能否负担得起钱?

慧翔百科
2026-09-17 16:51:06
住房城乡建设部:住建事业“十五五”时期面临新形势

住房城乡建设部:住建事业“十五五”时期面临新形势

界面新闻
2026-09-18 10:09:37
管家转卖雇主酒水获利243万元被判刑10年半,家属称将申诉

管家转卖雇主酒水获利243万元被判刑10年半,家属称将申诉

澎湃新闻
2026-09-17 16:58:28
2026-09-18 10:47:00
商道童言 incentive-icons
商道童言
关注数字经济及创新案例研究
1955文章数 1577关注度
往期回顾 全部

科技要闻

何小鹏:9系旗舰新车23.18万起

头条要闻

2岁幼童18楼坠亡:仅孩子母亲可向丈夫追究民事责任

头条要闻

2岁幼童18楼坠亡:仅孩子母亲可向丈夫追究民事责任

体育要闻

逆转朝鲜,国足亚运队“啃老”过关

娱乐要闻

敬一丹逝世 央视送别,女儿成“心病”

财经要闻

中国汽车:尾大不掉,必须出清

汽车要闻

小鹏G9L限时售23.18万 旗舰级的配置/诱人的价格

态度原创

教育
健康
手机
本地
公开课

教育要闻

最新!美国已有15所大学一年花费超10万美元,但毕业回报却出人意料!

剧烈头痛伴呕吐,警惕脑动脉瘤破裂

手机要闻

苹果iOS 27.2 Beta 1开放FaceTime手语API接口

本地新闻

不止胖东来!许昌藏着半部三国史

公开课

李玫瑾:为什么性格比能力更重要?

无障碍浏览 进入关怀版