传 OpenAI 扣下多个千禧年难题证明未发，担忧舆论反弹
haider1 · x · 2026-09-16
多条线索指向 OpenAI 可能已做出多个千禧年数学难题的证明，但一直未公开。
- 数学家 Scott Armstrong 称，至少从 ICM（国际数学家大会）时期起，OpenAI 就已「坐拥数百个」结果证明，且部分可能短期内不会发布；他还提到 OpenAI 能在几天内写出一个千禧年难题的 45 万行精炼形式化证明和 160 页论文
- Armstrong 批评这种状态不健康：实验室圈层按社交距离分配信息，传闻满天飞，若真有重大进展就应与《纽约时报》同步发布
- roon 也被指在暗示此事，但发帖人不确定是模糊炒气氛还是实指 OpenAI 的结果
以上为未经证实的传闻，但来自多方可信信源，指向 OpenAI 在数学形式化证明上的能力可能已远超已公开成果。
「模型」频道最新
- all-MiniLM-L6-v2 仍在热榜，作者劝你换新模型 — tomaarsen · 2026-09-16
- HF 研究员公开质疑 Claude 用量限额：月度耗尽周额度却剩 84% — NielsRogge · 2026-09-16
- Meta 承诺开源的 Muse Spark 权重逾期一月仍未发布 — RishiFurfox · 2026-09-16
- 李博杰：AI 擅长小步优化，但 taste 与系统设计仍难取代 — yangyi · 2026-09-16
- 首测 Jev 与验证过的 Gemini 3.5 Flash 工作流仅八成一致 — mayfer · 2026-09-16
- 新模型 Jev 靠快推理+结构化输出实时通关超级马里奥 — hardimanjames · 2026-09-16