近日，人工智能领域迎来一项重大突破：OpenAI宣布其内部模型成功生成纳维-斯托克斯（Navier-Stokes）方程存在性与光滑性问题的完整证明，并通过Lean形式化验证系统确认了结果的正确性。这一成果标志着千禧年七大数学难题中，继庞加莱猜想后第二个被攻克的难题正式诞生。与以往不同的是，此次证明由约一万个智能体（Agent）协作完成，全程未依赖人类数学家的直接参与。
纳维-斯托克斯方程作为描述流体运动的核心工具，其三维不可压缩情形下的解是否永远保持光滑，自2000年被克雷数学研究所列为千禧年难题以来，始终困扰着全球数学家。OpenAI的证明给出了否定答案：通过构造特定涡旋流模型，流体在有限时间内速度趋于无穷，而动能保持有界。这一结论直接回应了克雷数学研究所设定的备选项C和D，为流体动力学研究开辟了新方向。
项目负责人透露，整个证明过程始于9月1日，约一万个智能体被分为两组：一组尝试证明解永远光滑，另一组构造反例。在运行50小时后，部分智能体意外解决了无外力欧拉方程的有限时间爆破问题，这一突破促使团队调整策略，将资源集中于纳维-斯托克斯方程。最终，在启动仅88小时后，智能体集群通过270万条消息交互和1300亿输出Token的运算，完成了165页的完整证明。Lean验证系统耗时17小时确认了结果的正确性，而整个项目的算力成本高达数百万美元。
值得关注的是，这场数学突破背后暗藏争议。纽约大学数学家Tristan Buckmaster公开指控OpenAI在启动项目前已获悉其与Anthropic研究员Levent Alpöge的合作进展。据Buckmaster描述，OpenAI研究员Sebastien Bubeck在沟通中提出两种方案：要么分两天发布成果，将OpenAI的纳维-斯托克斯证明置于Buckmaster团队的欧拉方程成果之后；要么由Buckmaster单独改写OpenAI的证明并排除Levent的署名。Buckmaster拒绝后，Bubeck被指威胁其职业生涯，引发学术界对AI成果署名权的激烈讨论。
针对指控，OpenAI方面发布详细声明澄清：项目启动源于"听说两个千禧年难题已被解决的传闻"，后证实该传闻源于Anthropic内部模型在黎曼假设上的进展被误读。Bubeck承认沟通中措辞不当，但强调从未接触Buckmaster团队的未公开成果。OpenAI首席研究官Mark Chen直接否认数据泄露可能，指出团队在对方公开发布前未通过任何渠道获取其研究内容。
学术界对此反应不一。数学家Jordan Ellenberg在博客中指出，Lean验证虽能确保证明正确性，但数学研究的价值不仅在于结果，更在于对问题的深层理解。克雷数学研究所的认定流程要求证明需在同行评审期刊发表并获得两年以上普遍接受，目前该机构官网仍将纳维-斯托克斯方程列为未解决状态。这场由AI引发的数学革命，正迫使学术界重新审视成果认定标准、署名权归属等根本性问题。
随着OpenAI宣布不申领百万美元奖金，将成果定位为"AI进步的快照"，这场风波暂时告一段落。但AI生成的165页证明文件署名仅为"OpenAI"而非个人数学家，已对现行学术规范构成直接挑战。当智能体集群开始攻克人类数学家长期未能突破的难题时，一个根本性问题浮现：数学研究的主体究竟是提出问题的智慧，还是解决问题的工具？这个答案，或许需要未来两年内克雷研究所的裁定、同行评审的结论，以及整个数学界的集体反思来共同书写。
