{"id":"mb-20260910-f7967e","kind":"deep","title":"88 个小时，10000 个 AI 智能体，解开了一道困扰人类 92 年的数学难题","summary":"88 个小时，10000 个 AI 智能体，解开了一道困扰人类 92 年的数学难题","body":"88 个小时，10000 个 AI 智能体，解开了一道困扰人类 92 年的数学难题。\n论文长达 100 页，连代码级的机器形式化验证都一并做完。\n看起来，这是纯粹的机器智能对人类顶尖大脑的一次降维打击。\n可还没等掌声平息，纽约大学一位手握克雷数学奖的教授公开指控：\n机器能在 4 天内冲过终点线，是因为它一直在偷看他的草稿纸。\n\n这道卡了人类将近一个世纪的题，到底有多难？\n1934 年，法国数学家让·勒雷提出了流体力学的弱解概念。\n从喷气发动机的气流到海啸的波浪，物理世界的流体运动，都被写进了纳维-斯托克斯方程。\n数学界最想弄清楚的问题只有一个：\n流体在运动过程中，会不会在有限时间内产生无限大的速度或涡度？\n这就是著名的有限时间爆破。\n如果流体会爆破，意味着经典物理方程在极端状态下会彻底失效。\n如果永远平滑，就证明了物理世界在数学上的完备。\n2000 年，克雷数学研究所设立千禧年大奖难题，悬赏 100 万美元征求答案。\n92 年过去，全世界几代顶尖数学家写满了成千上万页手稿，始终没人能走通这条路。\n\n站出来发声的学者是谁？\n纽约大学柯朗数学科学研究所教授，特里斯坦·巴克马斯特。\n他可不是什么学术圈的局外人。\n早在 2019 年，他就因为在流体力学方程上的开创性证明，拿下了克雷数学研究所颁发的克雷研究奖。\n过去整整一年，他和合作者勒文特·阿尔珀格一直在死磕纳维-斯托克斯方程的爆破难题。\n为了处理海量繁重的推演和公式验证，他们把日常的草稿、尝试过的路径、关键的中间引理，随时输入到 OpenAI 的代码工具 Codex 里。\n对科研人员来说，这原本是一件再正常不过的事。\n你按月付费购买高级算力服务，把它当成随叫随到的数字草稿纸。\n\n变局发生在 2026 年 9 月初。\n学术圈里开始悄悄流传一个风声：巴克马斯特团队取得了实质突破，他们找到了一条能够证明特定流体爆破的全新几何路径。\n风声传出的那一刻，后台的超级巨头瞬间动了。\nOpenAI 突然调集了 10000 个自主 AI 智能体。\n在短短 88 个小时里，这批智能体沿着巴克马斯特团队耗费一年摸索出来的那条特定路径，展开了疯狂的并行搜索与符号推导。\n它们清扫了沿途成百上千个枯燥的引理证明，生成了一篇 100 页的完整论文，并用数学语言 Lean 完成了全部逻辑验证。\n9 月 8 日，OpenAI 抢先一步，向全球公布了这项所谓由 AI 独立攻克的世纪突破。\n\n可后台的电话簿里，藏着另一出戏码。\n在公开发布之前，OpenAI 负责前沿研究的副总裁塞巴斯蒂安·布贝克给巴克马斯特打去了电话。\n布贝克拿着那份刚出炉的百页论文告诉他：我们的模型也做出来了，走的是和你完全相同的技术路线。\n紧接着，商业公司提出了一个不可思议的合作条件：\nOpenAI 可以考虑联合署名或者协调发布，但巴克马斯特必须做一件事：\n把他一年的研究搭档阿尔珀格从论文中彻底除名。\n为什么？\n因为阿尔珀格的另一重身份，是 OpenAI 最大的竞争对手 Anthropic 的研究员。\n在商业巨头的地盘逻辑面前，学术伦理被当场悬空。\n巨头的算盘打得很精：死敌公司的雇员，绝不能分享这场神话的荣光。\n对方甚至在电话里暗示，如果拒绝，他的学术前途可能会面临麻烦。\n巴克马斯特当场回绝了。\n\n这台机器到底是怎么在 4 天内做出百年突破的？\n真的是 AI 突然进化出了超越人类的数学直觉吗？\n恰恰相反。\n数学猜想的推导空间是无边无际的黑暗荒原。\n如果方向选错了，10000 个智能体就算耗光几千万度电，也只能在死胡同里批量制造数学垃圾。\n最昂贵、最稀缺的智力成本，从来不在末尾那几百页枯燥的符号验证。\n在无限的黑暗里挑出那条唯一的生路，才是真正要命的门槛。\n人类学者冒着整整一年无功而返的巨大风险，终于蹚出了正确的坐标。\n他们把沿途所有的探索与纠错，一行一行写进了对话框。\n面对学界的质疑，OpenAI 给出的官方辩解耐人寻味：\n他们声称智能体绝对没有直接调取用户的私密文件。\n但他们承认了另一件事：\n无法排除来自用户交互的去标识化遥测数据，在客观上帮助改进了模型。\n\n这才是最让学术界毛骨悚然的机制。\n平台既是科研人员记录未发表灵感的数字实验室，又是随时准备下场摘桃子的超级捕食者。\n你在屏幕前每敲下一行推导，后台的数据飞轮就在吞噬你的思考轨迹。\n一旦监测到哪位先驱即将推开大门，平台就可以瞬间调动成千上万张芯片的算力洪流。\n在人类学者即将越过终点线的前夜，完成强行包抄。\n冲过终点线之后，巨头把所有的胜利归功于机器的神迹，顺手抹掉真正探路者的姓名。\n\n如果提供工具的人，同时也是拿着望远镜的终极掠食者。\n下一次，还有哪个学者敢把未公开的独创思考，托付给任何一家商业 AI？\n世纪难题被攻破，靠的根本不是什么突然开悟的硅基神迹。\n那是一套冷酷的平台特权：用人类的直觉当罗盘，用资本的算力当皮鞭，在终点线前完成了一场教科书级的围猎。","topic":"88 个小时，10000 个 AI 智能体，解开了一道困扰人类 92 年的数学难题","frame_type":["平台遥测套利与终点线算力包抄（Platform","机制"],"citations":[],"channel_note":"","identity_notice":"","source_type":"generated","status":"published","generated_at":"2026-09-10 08:20:44","legal_anchor_count":0,"transcript_citation_count":0}