OpenAI在2026年9月12日抛出一颗学术重磅炸弹：团队发表长达166页的论文《Finite Time Blowup for Navier–Stokes》，并同步开源Lean形式化证明证书与代码，宣称攻克了克雷数学研究所设立的七大千禧年难题之一。这项本该载入史册的成果不仅没有换来学术界的掌声，反而引爆了一场关于学术道德、隐私黑盒与科研范式错位的全面声讨。
争议的核心并非AI能否推演数学，而是商业巨头正在用工业化闪电战压路机般碾过传统的科学共同体。当纽约大学教授Tristan Buckmaster公开指责OpenAI开出近乎无限算力的诱饵、要求其在论文署名中排除身为Anthropic研究员的合作者Levent Alpöge时，这场技术突破彻底沦为硅谷商业死斗的附庸。
88小时闪电战与千亿Token：AI把世纪难题做成跑分榜
根据OpenAI公开的技术报告，破解Navier-Stokes难题并非单模态大模型的顿悟，而是一场超级算力暴力碾压。团队调动了约10,000个并发智能体，在88小时内跑完数学猜想搜索，随后调用GPT-6 Astra耗时17小时完成全部Lean形式化代码的转化与机器核对。
这一场针对偏微分方程前沿的突击战，单项攻坚就产生约270万条交互消息，消耗约1300亿输出Token，整个问题求解全流程累计吞吐达3000亿Token。外部市场按商用单价推算这相当于数百万至1500万美元的开销。即便OpenAI从未公开具体账单或电耗数据，Buckmaster也在对外陈述中直言，对方调动了令人发指的算力量级。
OpenAI并不掩饰这种工业化求解的野心。早在9月1日获悉学术界有新突破的传言后，公司便火速立项，并在短短五天后的9月6日直接拿着完整证明去敲学者的大门。此时外界才看清，大模型竞赛的战火已经从初高中的AIME和IMO数学竞赛刷题，全面转向无人涉足的前沿理论研究。
物理真相还是算力突击：受迫爆破背后的解题缝隙
这篇166页的论文在数学物理学家眼里有着截然不同的成色。公众误以为AI解开了真实物理世界中流体平滑演化的世纪之谜，但实际上，OpenAI证明的是三维不可压缩方程在光滑外力驱动下的有限时间爆破，仅仅对应克雷研究所备选陈述中的C与D分支。
这一路线并非AI凭空原创，而是牢牢踩在人类数学家的肩膀上。Buckmaster与Alpöge此前借鉴Córdoba与Martínez-Zoroa的分析框架，在8月15日率先取得了受迫Boussinesq与不可压缩Euler方程爆破成果，推演时也深度使用了Claude、OpenAI Codex以及GPT-5.6 Sol和Astra模型。OpenAI所做的，是在外力允许剧烈振荡的数学缝隙里，依靠上万个Agent生成高频动量脉冲抵消涡核发散残差，这本质上是一次极度精巧的高维工程构造，而非解释无外力自然流体的物理机制。
机器在规则缝隙中找到了符号闭环，却没有给人类认知带来新的灯塔。
克雷数学研究所对千禧大奖有着极其严苛的制度防火墙：成果必须发表在权威期刊，并经过全球同行长达两年的公开检验。OpenAI明确表态不打算申请那笔百万美元奖金，恰恰印证了公司管理层心知肚明，这种高度工程化的代码产物距离学术共同体的真正接纳还差得很远。
2026年9月11日，菲尔兹奖得主陶哲轩联合另外24位数学泰斗发表声明，直白痛批科技巨头将千年难题矮化为自身技术展示的基准测试，导致商业追逐与增进人类认知的根本宗旨发生严重脱节。
平台黑盒与防线壁垒：象牙塔里的信任破产
更深层的震荡来自科技工具对科研工作者个人成果的侵蚀。Buckmaster质疑自己在过去两个月推演时留在Codex平台上的私有提示词，可能在无意中泄露了破题路径。尽管OpenAI发言人与研究员Sébastien Bubeck坚称底层模型基于大规模强化学习独立训练、绝无调用其私有数据，但在缺乏第三方独立审计的前提下，学界只能面对不可证伪的技术黑盒。
与此同时，大厂的竞争护城河把学术合作切得四分五裂。Bubeck在接受纽约时报访谈时坦言确实向Buckmaster提供过算力与联合论文署名机会，但由于Alpöge任职于死敌Anthropic，OpenAI绝不可能在内部核心项目里接纳竞争对手的雇员。这种要求学者在科研伦理与海量算力之间二选一的傲慢，直接促使纽约大学的研究团队将办公室变成了法务与同行核查的防御阵地。
类似的遭遇德国德累斯顿工业大学教授Andreas Thom也经历过。OpenAI曾悄然将他与合作者的前期突破吸收进新结果，仅在被抗议后才低调补齐致谢。从文学、代码到严谨的纯数学，研究人员正在咽下所有创作者共同经历的苦果：倾注毕生心血的逻辑成果被大模型消化后，反手化作商业公司围猎学术优先权的利刃。
科研工具链的阵营化正在形成。在2026年针对未公开前沿难题的First Proof独立评测中，39个AI解答已有7题通过盲审；DeepMind的Aletheia系统由此向学界发出证明消化不良的预警；Anthropic则利用多智能体Claude系统将怀尔斯对费马大定理的证明编译成约1300万行Lean代码。科学计算不再是象牙塔内依靠纸笔沉淀的智力苦旅，而变成了各大云厂商堆砌千亿Token的技术阅兵。
- 建议.科研机构与一线学者应立刻建立本地化开源推演环境与数据隔离防线，未公开发表的原创核心猜想切忌直接托管于商用大模型云端。
- 风险.当难以通读的海量机器证明充斥预印本平台，传统学术同行评审机制将被迅速瘫痪，年轻学者的原创生存空间将被巨头的大规模算力搜索彻底挤压。
OpenAI的发言人透露团队已经转向下一个千禧年难题，坊间推测可能是霍奇猜想。当科技巨头为了赢而把整个数学殿堂变成算力角斗场时，学术界所失去的，远不止一块百万美元的奖牌。