AI 日报 · 2026 年 9 月 10 日 · 星期四

OpenAI 宣布其内部多智能体系统完成了纳维尔斯托克斯方程存在性与光滑性问题的一个解答，并公开论文与 Lean 形式化证明。该系统约 1 万个 Agent 参与，从 9 月 1 日启动到 9 月 5 日得到解答，耗时约 88 小时，随后用 17 小时完成 Lean 验证，共发送约 490 万条消息、消耗约 3000 亿输出 Token。