OpenAI称人工智能模型提出纳维–斯托克斯证明
OpenAI称一款未公开模型协同约1万名智能体生成并形式化验证纳维–斯托克斯证明，但外部数学家尚未独立确认。
OpenAI称，其内部系统已提出纳维–斯托克斯存在性与光滑性问题的解决方案。这是克雷数学研究所七大千禧年难题之一。公司表示，该结果证明，三维光滑流体可以在有限时间内形成奇点，同时保持有限能量。
大规模协同搜索
OpenAI称，参与工作的模型能力明显超过GPT-6 Astra。按照公司披露，约1万名软件智能体并行运行了约88小时，调用缓存互联网资料、代码执行和形式化证明工具。OpenAI还公开了Lean版本，试图让这份论证能够由机器逐步检查。
据公司描述，证明围绕一种向内旋转、不断拉长的涡旋展开。系统先在欧拉方程中找到相关的有限时刻爆破解构，再将方法扩展到纳维–斯托克斯方程。这个区别很关键：克雷难题要求处理含黏性的方程，并给出普遍有效的数学论证，而不是一个看似可信的数值实验。
还不是正式获奖答案
OpenAI将结果称为解决方案，但数学界尚未完成独立认证。外部复核尤其重要，因为这次发布前，纽约大学数学家Tristan Buckmaster与Anthropic研究员Levent Alpöge已被报道取得相近进展。OpenAI否认使用二人的私人研究，同时承认无法完全排除公开信息或模型可接触材料产生间接影响的可能。
这则消息的意义有两层。如果证明经得住审查，它将成为首个由人工智能深度参与解决的重大千禧年难题，也显示智能体可以组织超长链条的科研工作。如果最终失败，它仍会暴露一个现实：当模型、算力记录和首次论证都掌握在同一家实验室手中时，外界很难快速判断前沿模型的科学声明。
猫叔判断
1万名智能体并不是关键，缺少独立数学审查才是；Lean证明获外部确认前，这仍是惊人主张而非已解决的千禧年难题。