传 OpenAI 未公开模型在千禧年难题上取得四项进展
多位 X 用户爆料称 OpenAI 使用一个未公开的模型，在 7 个千禧年大奖难题中的 4 个上取得实质性进展，包括宣称已解决的 Navier-Stokes 以及 Riemann、Hodge 等难题，且单个难题仅耗费约 3 小时算力。爆料者认为「公司内部闭门超智能做出突破性发现」将成为新常态，引发外界对 LLM 数学能力与闭源研究透明度的关注。
2026-10-08 ~ 2026-10-09 · 2 条相关
- 第 1 集:OpenAI 数学证明公开与否引学界署名之争(2026-10-06,5 条)
- 第 2 集:传闻 OpenAI 未发布模型证明拟黎曼假设并附 Lean 证明(2026-10-07,3 条)
- 第 3 集:OpenAI 发准黎曼猜想证明：零点禁区推至 Re(s)>7/8(2026-10-07,5 条)
- 第 4 集:传 OpenAI 数学成果仅发首批，还有两批待发布(2026-10-07,3 条)
- 第 5 集:OpenAI 一次性发布 700 余份数学手稿，数学界抵制与致谢撕裂(2026-10-07,22 条)
- 第 6 集:传 OpenAI 未公开模型在千禧年难题上取得四项进展(2026-10-08,2 条)
- 曝 OpenAI 用未公开模型在 7 个千禧年大奖难题上取得 4 项进展 — khademinori · 2026-10-08
- LLM 冲击千禧年大奖:7 大难题已攻下 4 个,单个仅用 3 小时算力 — ycombinator · 2026-10-09