传 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 宣布求解纳维-斯托克斯难题，署名与验证争议发酵(491 条相关)→
「研究」频道最新
- EMNLP 2026 两篇论文：小模型实体追踪超人类、类人短暂记忆研究 — GretaTuckute · 2026-10-27
- 历时十年研究：秘鲁 Tarma 克丘亚语的「反自然」音系限制首获实证 — begusgasper · 2026-10-27
- Clinical System One v0.2:更难测试下顶级医疗 AI 准确率跌至 65% — MaziyarPanahi · 2026-10-27
- IdeaAnchor:用 1.4 万篇论文的灵感溯源教 LLM 基于文献提想法 — armancohan · 2026-10-26
- MIT Ziming Liu 批评 AutoResearch：不懂原理的训练技巧会引发 forking 过拟合灾难 — ZimingLiu11 · 2026-10-26
- 斯坦福数据中心化 AI 研讨会开放报名，海报截止延期 — jure · 2026-10-26