OpenAI 称内部系统解出 Navier–Stokes 千禧年难题并给出 Lean 证明
thione · x · 2026-09-15
- OpenAI 分享了其内部系统对困扰数学界 90 年的 Navier–Stokes 千禧年大奖难题的解答,并附有机器可检验的 Lean 形式化证明。
- 若成立,这将是 AI 攻克顶级数学难题的标志性事件;证明已经过计算机检验这一点尤为关键。
- 同帖还提及 ChatGPT Images 2.5 的发布(详见另一条)。
所属事件:OpenAI 智能体解 Navier–Stokes 爆破难题引数学界震动(8 条相关)→
「研究」频道最新
- Jay Alammar PyData 演讲:读懂 agent 基准分数的十个关键问题 — JayAlammar · 2026-09-15
- RLE-Bench 出炉：48 项任务评测 LLM 机器人工程能力不止于控制 — daibond_alpha · 2026-09-15
- BrainGPT 作者：AI 科学发现将复杂到「像对狗讲量子力学」 — every · 2026-09-15
- Ethan Mollick 用 GPT 试译线形文字A,自嘲那是 researchslop — emollick · 2026-09-15
- 71款AI个人助手实测横评：15维度打分，Muse居首 — ai · 2026-09-15
- FlyWire 开放教程:基于 16 万神经元连接组自建果蝇仿真器 — patrickmineault · 2026-09-15