曝 OpenAI 内部模型 Bel 产出约百页证明,挑战 Navier-Stokes 千禧难题
imjustnewatai · x · 2026-09-08
据数学家 Tristan Buckmaster 称，OpenAI 内部模型「Bel」据称解决了 Navier-Stokes 方程的受迫情形（forced case），产出一份约 100 页的证明，该情形正是 Clay 数学研究所千禧年大奖难题所覆盖的范围。Buckmaster 表示自己尚未看到这份证明，真实性有待验证。
- 若属实，这将是 AI 在重大开放数学问题上的标志性突破
- 目前仅为相关数学家的转述，证明尚未公开、未经同行评审
- 千禧难题的 100 万美元奖金与完整证明要求意味着仍有大量验证工作要做
「模型」频道最新
- 网传 GPT-6 Astra 演示盘点：直播、老游戏、3D 场景与完整网站 — aitrendz_xyz · 2026-09-08
- DeepSeek V4.1Flash 中间版本开启内测：新架构、原生多模态，输出最快 507 tokens/s — 智东西 · 2026-09-08
- Grok 4.6 登顶 AutomationBench-AA 第二,超越多款旗舰模型 — XFreeze · 2026-09-08
- 用户称 OpenAI API 全天无响应，请求挂 30 分钟后被丢弃 — msch6873 · 2026-09-08
- DeepSeek V4.1 Flash 问卷引热议:被问能否全面替代 V4 Pro — zephyr_z9 · 2026-09-08
- 安全研究员叹出题难:自设 CTF 挑战被 GPT 意外秒解 — terryyuezhuo · 2026-09-08