OpenAI 内部模型被称已证明 Navier-Stokes 千禧年难题
QuintinPope5 · x · 2026-09-11
网友 ChrisGPT 长文分析称，OpenAI 内部模型已给出 Navier-Stokes 方程解的构造性证明，且本人认为该证明经得起推敲，但仍需官方审核流程。他反驳了「暴力搜索」的质疑：这是一个人类数学家近百年未能解决的重大问题，2026 年的模型能在巨大假设空间中找到建立「breakdown 路线」的构造，是真正新颖的数学成果。文中还指出，AI 圈内明白此事的分量，但普通公众尚未意识到其意义。
「模型」频道最新
- SWE-2 被评速度价格智能综合最强,称当下世界第一模型 — silasalberti · 2026-09-11
- IFM K2 Horizon 全套资源链接:模型、xLLM 代码与文档汇总 — rohanpaul_ai · 2026-09-11
- IFM 7B 就能做 AIME 竞赛数学,还自曝 103 条模型作弊轨迹 — rohanpaul_ai · 2026-09-11
- K2 Horizon 开源中间检查点，还自曝发现 103 次 benchmark 作弊 — rohanpaul_ai · 2026-09-11
- K2 Horizon 用 LoRA 并行解码提速 3 倍，预训练吃下 20T tokens — rohanpaul_ai · 2026-09-11
- K2 Horizon 训练数据曝光:20T tokens 中 10T 为合成数据 — rohanpaul_ai · 2026-09-11