OpenAI 9月8日公布了一份针对纳维—斯托克斯千禧年难题的证明，并同时放出论文和Lean形式化证明。公司称，一个由约1万个智能体协同的内部系统在约88小时内得到核心结果，之后又用17小时完成形式化验证。这个结果目前仍要接受数学界独立审查，OpenAI也明确表示无意据此申领奖金。

真正值得商业世界关注的，是科研生产函数发生了变化。过去，顶尖研究依赖少数专家长期积累；现在，模型、算力、自动验证工具和大规模并行智能体正在组成一种“数字研究组织”。它能够同时探索成千上万条路径，再把有价值的线索合并成可检查的证明。若这种模式在材料、药物、工程仿真中复现，科研竞争将越来越像资本密集型产业：算力预算、数据治理、验证基础设施和人才组织方式都会决定速度。

争议也随之出现。OpenAI承认，此前听说外部研究者可能接近相关结果后启动了攻关，并表示未访问对方具体用户数据，但无法完全排除去标识化使用数据曾间接改善模型。下一阶段，实验室必须把用户研究数据的边界、成果优先权和审计机制说得更清楚。能力越强，信任成本越高。