近日，一则关于数学领域重大突破的消息引发广泛关注：OpenAI宣布其内部模型成功完成纳维-斯托克斯（Navier-Stokes）方程存在性与光滑性问题的完整证明，并通过Lean形式化验证系统确认了结果的严谨性。这一成果被视为千禧年七大数学难题中第二个被攻克的难题，标志着困扰学界近百年的核心问题取得突破性进展。据披露，该证明由约一万个智能体（Agent）在88小时内协作完成，展现了人工智能在复杂数学问题求解中的强大潜力。
纳维-斯托克斯方程作为流体力学的基础模型，自19世纪提出以来，其三维不可压缩流体解的光滑性问题始终未获解决。2000年，美国克雷数学研究所将该问题列入千禧年大奖难题，并设立百万美元奖金激励研究。OpenAI的证明首次明确指出，特定条件下流体解不会始终保持光滑性，并通过构造涡旋流模型，展示了流体速度在有限时间内趋向无穷的数学现象。这一结论与部分学者的长期猜想形成呼应，为工程领域的气动设计、气象预测等应用提供了新的理论依据。
然而，这项突破性成果随即陷入署名争议。纽约大学数学家特里斯坦·巴克马斯特（Tristan Buckmaster）公开指控OpenAI在启动项目前已接触其与Anthropic研究员莱文特·阿尔珀格（Levent Alpöge）的相关研究，并要求将阿尔珀格从署名名单中移除。巴克马斯特强调，其团队早在2023年便提交了关于Euler方程有限时间爆破的预印本论文，而OpenAI的证明中部分思路与此存在重叠。对此，OpenAI研究人员塞巴斯蒂安·布贝克（Sebastien Bubeck）回应称，联系巴克马斯特的初衷是分享数学进展，但双方在成果归属问题上未能达成共识。
技术细节显示，OpenAI的证明过程采用分布式协作模式：自9月1日起，研究团队将问题拆解为两个方向——一组负责证明解的光滑性，另一组尝试构造反例。期间，约100个智能体耗时50小时，率先解决了无外力Euler方程的有限时间爆破问题，为后续突破奠定基础。最终，所有智能体在9月5日完成协作，累计发送270万条消息，消耗约1300亿输出Token，其计算规模远超传统数学研究范式。
随着争议发酵，学界对人工智能在数学研究中的角色展开激烈讨论。支持者认为，OpenAI的成果证明了AI可辅助人类突破传统思维局限，尤其在处理高维度、非线性问题时具有独特优势；反对者则担忧，大规模智能体协作可能模糊个体创造性贡献的边界，甚至引发学术伦理问题。目前，该证明尚未通过同行评审，其数学严谨性与原创性仍需进一步验证。与此同时，克雷数学研究所表示，奖金发放需满足“经受时间考验”与“被数学界广泛接受”两大条件，目前暂不介入此次争议。
