OpenAI 于当地时间 9 月 8 日宣布，其内部未公开的 AI 模型（性能远超最新发布的 GPT-6 Astra）已成功解决“纳维 - 斯托克斯存在性与光滑性问题”，这是克莱数学研究所于 2000 年提出的七个“千禧年大奖难题”之一，已困扰数学界约 90 年。 在此之前，Anthropic 上个月曾宣布其内部一款未公开的 Claude 研究模型在攻克黎曼猜想的过程中取得重要进展，将黎曼 ζ 函数临界线上零点比例的长期下界从 41.6% 提高到 67.2%。 智能体协作生成证明，Lean 形式化验证 17…