跨主题事件
OpenAI 称万级智能体 88 小时攻克 Navier–Stokes 千年难题，学界质疑抢跑（科研）
2026年9月9日2 篇报道
2026年9月9日
AI/Tech版面视角
OpenAI 称万级智能体 88 小时攻克 Navier–Stokes 千年难题，学界质疑抢跑（科研）
OpenAI 于本周公布：约 1 万个协调智能体、基于未公开发布内部模型，在约 88 小时内给出 Navier–Stokes 存在与光滑性相关证明，并称不拟申领克莱数学研究所百万美元奖金；BBC 等援引口径称相关算力按公开定价估算约合千万美元量级，另有 Lean 形式化与论文公开。NYU 数学家 Tristan Buc…
阅读当日日报 →
科学版面视角
OpenAI 公布 Navier–Stokes 奇异性证明与 Lean 形式化，克莱研究所暂不认定「已解」（数学/AI）
OpenAI 于 9 月 8 日宣布其内部多智能体系统在约 88 小时内生成 Navier–Stokes 存在与光滑性问题相关证明，并称结果对应千禧年大奖问题官方表述中的陈述 C（及 D）：初始光滑、受光滑外力驱动且能量保持有限的流体可在有限时间内形成奇异性。公司同步公开写作稿、论文 PDF 与 Lean 形式化仓库；…
阅读当日日报 →