OpenAI 宣称用智能体群攻克悬置 90 年的纳维-斯托克斯难题
CurieuxExplorer · x · 2026-09-13
OpenAI 官方宣布给出纳维-斯托克斯方程（Navier–Stokes）千禧年大奖难题的一个解。该问题关乎三维光滑流体运动的数学描述是否会崩塌，悬置约 90 年，是数学最前沿的深层难题之一。
据称证明由一组智能体（agents）完成，使用的是明显强于 GPT-6 Astra 的下一代模型。第三方已在风洞式 Navier–Stokes 数值环境中可视化了相关涡旋结构，并以交互式 3D 形式展示。
如属实，将是 AI for Mathematics 的标志性成果；证明细节与验证状态尚待同行审议确认。
所属事件:OpenAI 万级 Agent 攻克 Navier-Stokes 引爆数学界信任争端(18 条相关)→
「研究」频道最新
- 用 AI 形式化验证系统 Aristotle 证明 OpenTitan 根信任 C 代码内存安全 — satnam6502 · 2026-10-31
- MIT CSAIL 提出「机器学习与温习」范式:Agent 提前研究语料而非临时检索 — eshorten300 · 2026-10-31
- ARC Prize 2026 截止倒计时3天,Yi-Chia Chen 以 75.56% 登顶 ARC-AGI-3 — GregKamradt · 2026-10-31
- NVIDIA Nemotron 3.5 用 LLM 自验证:agentic 基准提升 9-10 个点 — sarahcat21 · 2026-10-31
- OpenTargets 非官方 MCP 服务器上线，可查询基因-药物-疾病关联 — modelcontextprotocol · 2026-10-31
- 研究者在模型权重空间找到 5 种人格结构,可类比人类大五人格 — luke_drago_ · 2026-10-31