传 OpenAI 内部模型「Bel」解出 Navier-Stokes 千禧年难题
imjustnewatai · x · 2026-09-08
据传 OpenAI 内部模型「Bel」攻克了 Navier-Stokes 方程：数学家 Tristan Buckmaster 称被告知该模型对 Clay 千禧年问题所涵盖的强迫情形（forced case）产出了一份约 100 页的证明。
- 注意：Buckmaster 本人尚未看过这份证明，消息未经验证
- 若属实，将是 AI 首次在千禧年大奖难题级别问题上产出候选证明，意义远超一般 AI for Science 进展
所属事件:纳维-斯托克斯难题现突破传闻，OpenAI 卷入争议(24 条相关)→
「研究」频道最新
- 曝 OpenAI 内部模型 Bel 产出约百页证明,挑战 Navier-Stokes 千禧难题 — imjustnewatai · 2026-09-08
- CNRS 发文警示 AI 伪造数据威胁科学可信度 — IgorCarron · 2026-09-08
- 离散扩散并行采样加速 LLM 推理，无需草稿模型且无损 — IFM · 2026-09-08
- 科学家少样本场景:正则回归与随机森林常胜过深度学习 — bravo_abad · 2026-09-08
- ECCV 2026 现场：诊断多模态 LLM 的矛盾与模态偏差 — abursuc · 2026-09-08
- Anima Anandkumar:神经算子攻克湍流难题,LLM 符号证明路线失色 — AnimaAnandkumar · 2026-09-08