OpenAI 宣布破解纳维-斯托克斯方程，Wolfram 详解 150 页证明
_onionesque · x · 2026-09-18
Wolfram Japan 转发消息称 OpenAI 于 2026 年 9 月 8 日宣布发现千禧年大奖难题「纳维-斯托克斯方程」的解，证明超过 150 页。
Wolfram 发布了一篇配套解读文章，用 Wolfram 语言对该证明做了可视化讲解，帮助读者理解其中的关键构造。该消息目前为转发转述，具体证明内容与同行评议情况尚待进一步核实。
「研究」频道最新
- Anthropic 称将「即将」达到 RSP 加速 AI 研发阈值，并发布可证明推理研究 — tobyordoxford · 2026-11-04
- Google 扫描 1033 件真实家居品,打包成 345MB GLB 免费开放 — victormustar · 2026-11-04
- 这 10 篇 GPU 优化论文决定了今天模型跑得多快 — NandoDF · 2026-11-04
- 实测推翻常见建议：INT8 几乎无害，采样器才是关键 — YakovSava · 2026-11-04
- Karpathy 带火 HN 开源数据集：千万级帖子可当知识库直接用 — huangyun_122 · 2026-11-04
- PixelCraft 多智能体框架登场：专治多模态模型读图表翻车 — burkov · 2026-11-04