传 OpenAI 扣下多个千禧年难题证明未发，担忧舆论反弹
haider1 · x · 2026-09-16
多条线索指向 OpenAI 可能已做出多个千禧年数学难题的证明，但一直未公开。
- 数学家 Scott Armstrong 称，至少从 ICM（国际数学家大会）时期起，OpenAI 就已「坐拥数百个」结果证明，且部分可能短期内不会发布；他还提到 OpenAI 能在几天内写出一个千禧年难题的 45 万行精炼形式化证明和 160 页论文
- Armstrong 批评这种状态不健康：实验室圈层按社交距离分配信息，传闻满天飞，若真有重大进展就应与《纽约时报》同步发布
- roon 也被指在暗示此事，但发帖人不确定是模糊炒气氛还是实指 OpenAI 的结果
以上为未经证实的传闻，但来自多方可信信源，指向 OpenAI 在数学形式化证明上的能力可能已远超已公开成果。
所属事件:传 OpenAI 已证多个千禧年难题但扣住不发(2 条相关)→
「模型」频道最新
- Similarweb：Claude 升级页流量 9 月回升至 1760 万，逼近 5 月峰值 — firstadopter · 2026-11-02
- 开源 GLiNER-PII 单卡 550ms 抓出病历 13 项身份标识,仍漏医院名 — MaziyarPanahi · 2026-11-02
- 用户吐槽 OpenAI Dots 越用越臃肿,转投新工具 Muse 称体验干净透明 — Koala_Confused · 2026-11-02
- Fable 5.5 被曝一行代码一次通过生成动画，Anthropic 押注编程意外切入动画赛道 — Hesamation · 2026-11-02
- 一个 agent 目标连续跑了 4 天，烧掉 3 万赠额 token — CtrlAltDwayne · 2026-11-02
- 每日 AI 简报：Gemini 4 Carbon 疑现身 Arena，DeepSeek 开源编码 agent — testingcatalog · 2026-11-02