{"id":"mb-20260909-eb057c","kind":"deep","title":"数学家把做了一年的未发表草稿喂给 AI 助手，88 小时后，AI 公司宣布自己独立解开了这道世纪难题","summary":"数学家把做了一年的未发表草稿喂给 AI 助手，88 小时后，AI 公司宣布自己独立解开了这道世纪难题","body":"数学家把做了一年的未发表草稿喂给 AI 助手，88 小时后，AI 公司宣布自己独立解开了这道世纪难题。\n困扰数学界两百年的三维纳维·斯托克斯方程，被 10000 个并发智能体直接推平。\n研发耗费的算力，折合数百万美元。\nOpenAI 高管在媒体沟通会上宣布，新模型能力远超 GPT-6 Astra，他们甚至不打算去领克雷数学研究所那 100 万美元的千禧年大奖。\n但把核心推导输入系统的学者，后背一阵发凉。\n纽约大学数学家 Tristan Buckmaster，和他在 Anthropic 工作的研究伙伴 Levent Alpöge，整整一年都在闭门攻坚流体力学方程的有限时间爆破。\n为了验证推导，他们把大量未公开发表的手稿、核心引理和代码，持续输入给 OpenAI 的 Codex 工具。\n2026 年 8 月，他们终于打通了多孔介质方程和三维欧拉方程的关键奇点证明。\n学界的风声刚传出来，9 月 1 日，OpenAI 突然启动了未公开的超级模型，调用 10000 个智能体扑向剩余的数学难题。\n88 小时后，OpenAI 拿出了三维纳维·斯托克斯方程的有限时间奇点存在性证明。\n如果只是撞车，学术界还能安慰自己是巧合。\n但随后的沟通，让整个事件滑向了丑闻。\nOpenAI 找到 Buckmaster，私下开出了一个条件：\n可以给你联合署名，承认你的部分贡献。\n前提是，必须剔除 Alpöge 的名字。\n因为 Alpöge 是竞争对手 Anthropic 的在职研究员。\nBuckmaster 拒绝删掉合作者，转头把整起交涉写成公开信公之于众。\nAI 巨头到底是怎么在 88 小时内攻破两百年难题的？\nOpenAI 首席研究官 Mark Chen 迅速出面澄清：\n没有人类，也没有 AI 系统搜索过用户数据来解题。\n技术高管 Sébastien Bubeck 也坚称交流符合学术规范。\n但一句“没有搜索用户数据”，根本盖不住这套系统的结构性漏洞。\n前沿大模型的遥测管道与会话日志，有没有被纳入微调池？\n内部研究人员有没有顺着顶尖学者的异常输入，锁定了攻坚方向？\n在现代数学这种纯智力领域，最昂贵的从来不是代码实现。\n是方向。\n数学家花几年时间试错，排除了九十九条死胡同，找到了那个能打破平衡的特定变换。\n只要把这个关键构想输入给云端工具，解题空间的搜索复杂度就从天文数字跌到了可计算范围。\n剩下的逻辑验证和符号展开，人类需要耗费几个月。\n但面对 10000 个无休止并发运转的智能体，这只是一场 88 小时、耗资数百万美元的算力冲刺。\n最危险的倾斜在于，双方的信息完全单向透明。\n学者的终端是全裸的，打出的每一个字、调试的每一段公式都在实时回传云端。\n而闭源实验室的系统是黑盒，外界根本无法审计训练集、无法审计智能体的检索日志，更无法验证内部研究员何时看到了什么。\n人类学者承担了全部探索失败的风险与时间成本。\n拥有不可审计管道和无限算力的平台，却能在终点线前半路截杀，把桂冠揽入囊中。\n那 100 万美元的奖金，对估值千亿的巨头来说微不足道，他们当然可以轻描淡写地宣布放弃。\n但给科研人员留下的信任基石，已经塌了一角。\n当学者在云端工具里敲下未发表的核心灵感时，究竟是在使用一个助手，还是在给一个坐拥上万张显卡的对手递上作战地图？","topic":"数学家把做了一年的未发表草稿喂给 AI 助手，88 小时后，AI 公司宣布自己独立解开了这道世纪难题","frame_type":["不可审计的单向遥测与暴力算力套利","机制"],"citations":[],"channel_note":"","identity_notice":"","source_type":"generated","status":"published","generated_at":"2026-09-09 09:32:53","legal_anchor_count":0,"transcript_citation_count":0}