OpenAI 称内部系统解出 Navier–Stokes 千禧年难题并给出 Lean 证明
thione · x · 2026-09-15
- OpenAI 分享了其内部系统对困扰数学界 90 年的 Navier–Stokes 千禧年大奖难题的解答,并附有机器可检验的 Lean 形式化证明。
- 若成立,这将是 AI 攻克顶级数学难题的标志性事件;证明已经过计算机检验这一点尤为关键。
- 同帖还提及 ChatGPT Images 2.5 的发布(详见另一条)。
所属事件:OpenAI 宣称解出 Navier–Stokes 爆破问题(8 条相关)→
「研究」频道最新
- AISTATS 2027 workshop 提案截止延至 11 月 6 日 — qberthet · 2026-10-31
- krishnan 点评多智能体自主实验室：批评改变了下一步搜索方向 — krishnan · 2026-10-31
- krishnan 提议：记录故障排查中被否决的解释，留作未来重开的证据 — krishnan · 2026-10-31
- PI 智能体 30 小时否决 75 个提案，管理者据此排除重复坏方向 — krishnan · 2026-10-31
- 东京科学大学预印本：多智能体 AI 实验室自主研究金刚石量子自旋 — krishnan · 2026-10-31
- RL 研究者：训练-推理失配成 GRPO 兴起后算法研究最大焦点 — natolambert · 2026-10-31