OpenAI 宣布用 agent 群证明纳维-斯托克斯千禧年难题
sjgadler · x · 2026-09-09
OpenAI 官方宣布给出纳维-斯托克斯方程千年大奖难题的一个解，该问题关于光滑三维流体运动的描述是否会出现间断，已悬置约 90 年。
- 证明由一组 agent 产出，使用的是比「GPT-6 Astra」能力显著更强的下一代 OpenAI 模型
- 这是继数学前沿突破后的又一标志性事件，网友纷纷联想到《If Anyone Builds It, Everyone Dies》开篇情节：超先进内部模型被灌入大量算力解决黎曼猜想级别难题
若经同行验证属实，将是 AI for Mathematics 的历史性时刻。
所属事件:OpenAI 宣称破解纳维-斯托克斯千禧年难题，陷署名争议(230 条相关)→
「模型」频道最新
- 创始人实测 GPT Astra：思考更快，更擅长处理人际沟通细节 — morganlai · 2026-09-09
- DeepSeek V4.1 Flash Vision Beta 实测：5 项视觉测试全面碾压上代 — cheezeerd · 2026-09-09
- WaveNet 发布十周年：比 Transformer 更早的长上下文自回归 — teropa · 2026-09-09
- OpenAI Codex 服务中断,开发者无法使用 — cyrus_zei · 2026-09-09
- Fchollet:AI 数学证明候选,数学家初步反响是「不行」 — fchollet · 2026-09-09
- Codex 用户晒额度消耗：单个项目一周吃掉 20x 套餐 70% 用量 — jdjohnson · 2026-09-09