时间：2026-09-08（OpenAI 官方宣布时间）
地点：美国旧金山
人物：OpenAI、清华姚班陈立杰（伯克利 EECS 助理教授）、OpenAI 首席研究官 Mark Chen、数学家 Sebastian Bubeck、纽约大学 Tristan Buckmaster、Anthropic 研究员 Levent Alpöge、菲尔兹奖得主陶哲轩
事件：OpenAI 宣布内部未公开模型用约 1 万个 AI Agent 并行 88 小时，证明纳维-斯托克斯方程存在性与光滑性问题（克雷数学研究所七大千禧年大奖难题之一，悬赏 100 万美元），公开 165 页论文与 Lean 形式化验证代码
背景：纳维-斯托克斯方程描述流体运动，自 19 世纪提出以来困扰数学界近 90 年；克雷研究所 2000 年将其列入千禧难题，目前七大难题仅庞加莱猜想已解；OpenAI 官方明确表示不申领百万奖金
细节：1 万 Agent 共发送约 490 万条消息、消耗约 3000 亿输出 Token；GPT-6 Astra 另花 17 小时完成 Lean 形式化验证；该内部模型能力显著超过刚发布的 Astra；系统 8 月 28 日开始训练，9 月 5 日得出解法
影响：标志"大模型+多智能体+形式化验证"解题范式进入新阶段；纽约大学 Buckmaster 与 Anthropic 研究员 Alpöge 在 OpenAI 公布前一天刚发布相关突破，Buckmaster 质疑 OpenAI 抢发并担心其 Codex 对话数据被用于训练，OpenAI 否认但承认"无法排除脱敏数据参与训练"；OpenAI 实际证明的是施加光滑外力构造奇点（C/D 方向），并非无外力核心版本
总结：清华姚班毕业生陈立杰（1995 年生、IOI 全球第一、MIT 博士、伯克利 EECS 助理教授）年初曾预测 AI 将在 2028 年解千禧难题，未料 5 个月后便兑现，感叹"这是一个非常不可思议的时代"
参考来源：
- OpenAI 官方公告与论文（公开 165 页证明及 Lean 代码）
- 新华网（科技日报报道，2026-09-10）
- 科学网（中国科学报转译《自然》报道）
- 量子位（公众号 QbitAI）
- 腾讯新闻（观点网/APPSO）
- Hindustan Times（法新社 AFP 报道）
- 中华网
- 36氪
热门AI工具推荐
焚书AI多模型聚合平台
AI多模型聚合平台（ Claude 系列、GPT 系列）支持聊天、搜索、图片、视频、音乐等多种功能；聚合了 Claude 系列（如 Sonnet 5、Opus 5 等）、Gemini 系列、GPT 系列、DeepSeek（搜索模式默认调用 DeepSeek V4 Pro）以及通义千问、Kimi 等数十款国内外主流模型。
火山方舟 Coding Plan字节跳动
AI编程订阅服务，支持多款国产主流编程模型自由切换。
Seedance 2.0AI视频生成
具备卓越的物理真实性和角色一致性，可生成电影级视频内容。
方舟 Agent PlanAI智能体订阅
火山引擎推出的全场景AI智能体订阅服务，通过一个订阅整合5大主流模型和10+AI工具
科大讯飞AstronClawAI智能体
基于OpenClaw架构打造的AI助手平台，核心优势包括云端一键部署、沙箱隔离安全运行、全面接入企业微信/钉钉/飞书三大主流IM工具
SpeedAIAI内容检测降重
AI内容检测与降重工具，能有效帮助用户通过论文AI率检测
墨刀AIAI原型设计平台
墨刀AI是一款能通过一句话描述或图片，快速生成可交互原型、PRD文档及各类图表的一站式智能产品设计协作平台。
秒哒AI工具
不懂代码也能开发应用？百度秒哒：无需编程，快速搭建小程序与网站
有戏AIAI漫剧生成工具
全流程AI短剧创作工具，实现从剧本到成片的自动化生产，让“一人即剧组”成为现实。
沁言学术智能科研平台
一站式文献管理与科研写作工具,支持边写作边搜索文献,高效阅读,文献管理,