近日，人工智能领域接连传来重大突破消息，引发科学界广泛关注。OpenAI宣布其尚未公开的AI模型成功攻克了数学界著名的“纳维-斯托克斯存在性与光滑性问题”，该问题作为克莱数学研究所2000年公布的七个“千禧年大奖难题”之一，已困扰全球数学家近一个世纪。这一成果标志着AI在解决复杂数学理论问题上迈出关键一步，但同时也引发了关于学术伦理和人类科研主导权的激烈讨论。
据OpenAI披露，研究团队通过部署约10000个AI智能体进行协作，在88小时内完成了问题证明。该证明通过构造特殊涡流模型，展示了初始平滑的静止流体在有限时间内可能形成流速无限增长的“奇点”，同时确保能量符合物理定律的有限性要求。研究特别针对问题陈述中的“C”和“D”情形展开，即在外力光滑的假设条件下进行推导。为确保结论严谨性，OpenAI采用Lean编程语言进行形式化验证，由GPT-6 Astra模型在17小时内完成全部验证工作。
值得关注的是，就在OpenAI公布成果前不久，纽约大学数学教授特里斯坦·巴克马斯特与Anthropic研究员莱文特·阿尔珀格刚发表了相关流体方程的研究论文。巴克马斯特公开质疑OpenAI存在“抢发”行为，认为对方可能是在得知其研究进展后，临时调整研究方向转向“外力驱动”方法。他特别指出，自己存储在OpenAI Codex平台的研究数据可能被用于模型训练，但未获得明确说明。对此，OpenAI研究员塞巴斯蒂安·布贝克否认存在不当行为，强调研究过程完全独立，但承认模型改进可能受益于匿名化用户数据。
这场学术争议迅速蔓延至整个数学界。著名数学家陶哲轩在评论中表达复杂态度：一方面将此类未解难题比作指引科研方向的“灯塔”，另一方面警告过度依赖AI可能削弱人类对数学本质的理解。他特别指出，当AI系统能够在缺乏人类深度参与的情况下解决最抽象的数学问题时，科研范式可能面临根本性转变。据业内人士估算，OpenAI此次研究投入的计算成本高达1500万至2250万美元，但该公司明确表示不会申领克莱数学研究所设立的100万美元奖金。
与此同时，AI攻克数学难题的连锁反应正在显现。就在上个月，Anthropic公司宣布其未公开的Claude研究模型在黎曼猜想研究上取得突破，将ζ函数临界线上零点比例的长期下界从41.6%提升至67.2%。这两项成果的集中出现，预示着AI技术正在重塑基础数学研究的竞争格局。随着争议持续发酵，学术界开始重新审视AI在科研活动中的角色定位，以及现有学术规范体系是否需要针对AI技术进行根本性改革。
