1 万个 agent 跑 88 小时、耗 1300 亿 token:OpenAI 形式化纳维-斯托克斯解
nrehiew_ · x · 2026-09-09
nrehiew 梳理了 OpenAI 参与纳维-斯托克斯(Millennium Prize)问题形式化的大致时间线：
- 8 月 15 日：Buckmaster 与 Alpoge 得到受迫 Euler 方程的解，8 月 22 日完成形式化。
- 8 月 28 日：OpenAI 开始对一个内部数学模型做(后)训练，该模型表现"看起来很疯狂"。
- 9 月 2 日：OpenAI 听闻两个千禧年大奖难题被解出，随即尝试攻一批问题，不限于 NS。
- 9 月 3 日：Buckmaster 听到 OpenAI 的传闻并主动联系；大约此时 OpenAI 得到非受迫 Euler 方程的解。
- 9 月 5 日：约 1 万个 agent 运行 88 小时、产生 270 万条消息、消耗约 1300 亿输出 token 完成形式化；形式化用的是 Astra，而非内部模型。
这条时间线勾勒出 OpenAI 内部数学模型与大规模 agent 编排在前沿数学形式化中的实际投入规模。
所属事件:OpenAI 上万智能体跑88小时解纳维-斯托克斯(3 条相关)→
「模型」频道最新
- OpenAI 宣布用新一代模型智能体群解决纳维-斯托克斯千禧年难题 — _arohan_ · 2026-09-09
- OpenAI 称约一万个协作 AI 智能体 88 小时解出纳维-斯托克斯难题 — CatAstro_Piyush · 2026-09-09
- inclusionAI 开源视觉模型 Ling-3.0-flash-VL,BF16 与 FP8 权重已放出 — FellMentKE · 2026-09-09
- 网友推断：OpenAI 已开训 GPT-6.5 且评测已超 Astra — willdepue · 2026-09-09
- drama 散场后真正的问题：OpenAI「内部模型」疑似已开训 GPT-6.5 — willdepue · 2026-09-09
- 前 OpenAI 成员质疑：改写后的 ZDR 数据根本没法拿来训练 — willdepue · 2026-09-09