近日，人工智能领域迎来一则震动学术界的消息：OpenAI 宣布其尚未公开的内部AI模型成功攻克了数学界著名的“纳维-斯托克斯存在性与光滑性问题”。该问题作为克莱数学研究所2000年提出的七个“千禧年大奖难题”之一，自提出以来便困扰着全球数学家，其核心在于探讨描述流体运动的纳维-斯托克斯方程是否会在特定条件下失效。这一突破性进展立即引发了数学界和科技界的广泛关注。
据OpenAI披露，研究团队通过部署约10,000个AI智能体进行协作，仅用88小时便完成了证明过程。证明结果显示，在有限时间内，初始状态平滑且静止的流体可能发展出“奇点”——即流速无限增长的现象。为确保结论的严谨性，OpenAI不仅提供了详细的分析证明，还使用Lean编程语言进行了形式化验证，该验证工作由其最新发布的GPT-6 Astra模型在17小时内完成。
该证明的核心在于设计了一种特殊的“涡流”结构：流体在向内旋转的同时被拉伸，其能量在物理定律约束下保持有限。研究建立在外力光滑的前提条件下，对应克莱数学研究所官方问题陈述中的“C”和“D”两种情形。OpenAI研究员塞巴斯蒂安·布贝克将此成果形容为“过去十二个月研究轨迹的惊人顶点”，认为这标志着AI在解决复杂数学问题上的潜力得到进一步验证。
然而，这一突破性声明迅速引发争议。纽约大学数学教授特里斯坦·巴克马斯特与Anthropic研究员莱文特·阿尔珀格指出，他们团队在前一天刚发布了相关流体方程的研究成果。巴克马斯特公开质疑OpenAI可能因获悉其研究进展而调整方向，转而采用“外力驱动”方法进行攻关。他特别提到，自己与阿尔珀格存储在OpenAI Codex模型中的研究数据可能被用于训练或参考，但未收到任何明确说明。
针对指控，OpenAI研究员布贝克坚决否认研究人员或AI智能体接触过具体用户数据。不过，公司在声明中承认，其使用的匿名化数据可能间接帮助改进了模型性能。这种模糊的回应进一步加剧了外界对数据隐私和学术诚信的讨论。
此次事件也引发了关于AI发展边界的深层思考。著名数学家陶哲轩将此类难题比作指引科学家探索的“灯塔”，但同时警告，若AI能够独立解决最复杂的数学问题，可能会削弱人类对数学本质的理解。他强调，数学研究不仅是技术突破，更是人类认知世界的独特方式。
据估算，OpenAI此次研究投入的计算成本高达1,500万至2,250万美元（约合人民币1.01亿至1.51亿元）。尽管克莱数学研究所为该问题设定的奖金为100万美元（约合人民币672.8万元），但OpenAI明确表示不会申领。这一决定反而将讨论焦点转向了更根本的问题：当AI开始涉足人类智力巅峰领域时，如何界定功劳归属？如何保护学术研究的独立性？以及如何确保技术发展符合伦理规范？
