❯ OpenAI 称一万个智能体耗时 88 小时提出纳维－斯托克斯问题证明，内部模型强于 Astra

公司公布OpenAI 于 9 月 8 日公布纳维－斯托克斯存在性与光滑性问题的证明及 Lean 形式化版本，称解题组约有 一万个并行智能体，用时 88 小时。驱动它们的是仍在训练的内部模型，公司称其能力显著高于 GPT-6 Astra；这不是已经向普通用户开放的新模型。

求解边界公司描述的结果是在平滑外力作用下构造有限时间奇点，针对千禧年问题的特定表述。形式化验证又由 Astra 完成，额外耗时 17 小时。此前，该项目于 9 月 1 日启动，期间研究人员调整资源、向不同智能体组提供问题变体并汇总中间结果，因此不能简化为模型未经组织就独立完成所有研究。

审查与归属相关讨论还涉及数学家使用 Codex 开展的未公开工作。OpenAI 否认访问其特定用户数据，同时未完全排除去标识数据曾帮助改进模型的可能。证明有效性仍须接受独立审查，研究数据边界也需要单独解释。对科研团队，采用 AI 的决策同时涉及可复现成果、保密安排与优先权；公司发布证明不能替代数学共同体的正式认可。

▪ SIGNAL大规模智能体协作把算力转化为研究尝试，但科研成果仍要同时经受证明审查、复现与数据来源的检验。