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