OpenAI 疑抢跑千禧年大奖纳维-斯托克斯证明,25 位菲尔兹奖得主联名抗议
CiccioPixel · reddit · 2026-09-13
OpenAI 与数学界围绕千禧年大奖问题的证明爆发信用争端:
- NYU 数学家 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 宣布在纳维-斯托克斯方程解的存在性与光滑性问题上取得进展;在他们完整发表前,OpenAI 抢先发布了同一问题的完整证明,归功于一个未发布模型,据报道一周内烧掉约 3000 亿输出 token,算力成本约 2250 万美元。
- Buckmaster 指控其进展信息在 OpenAI 启动该项目前已流入 OpenAI,而 OpenAI 数学家 Sébastien Bubeck 曾要求他放弃对合作者的署名作为妥协,并在遭到拒绝时说出「何必毁掉自己的职业生涯」。OpenAI 否认团队事先看到相关工作,但承认无法完全排除自家产品匿名数据被使用的可能。
- 后续升级:25 位菲尔兹奖得主签署公开信,抨击急于抢跑、跳过正常写作与署名流程的做法破坏数学知识的传承与信任;Caltech 研究者强烈抗议后,OpenAI 撤出了对当地一个数学活动的赞助。
- 事件核心已不是 AI 能否做数学,而是当拥有无限算力的实验室可以在感知到人类学者接近突破时立刻用钱砸出结果,科学署名与研究激励将走向何方。
所属事件:OpenAI 万级 Agent 攻克 Navier-Stokes 引爆数学界信任争端(18 条相关)→
「公司和人」频道最新
- Garry Tan 预告 Lightcone 播客将访谈 PStack 与 GStack 作者 — garrytan · 2026-10-31
- Bittensor 子网 SN44 十月盘点:大型图形软件公司正测试其足球模型 — richdotca · 2026-10-31
- 微软教育 PM 演讲：AI 时代的教育未来与企业与高校的双向应对 — Cohere · 2026-10-31
- Google 财报电话会:AI Mode 与传统搜索将合并为统一产品 — gaganghotra_ · 2026-10-31
- HubSpot 联创:创业公司死于自杀而非他杀,竞争对手不是最大威胁 — nathanbenaich · 2026-10-31
- Anthropic 文化轶事：寿司晚宴后联创称「宁愿只吃米饭豆子」 — himanshustwts · 2026-10-31