OpenAI 模型 8 页证明 Landau-Siegel 零点,722 篇手稿剑指 P vs NP
新智元 · wechat · 2026-11-09
OpenAI 内部模型给出「不存在 Landau-Siegel 零点」的证明,原始版仅 8 页,数学家随后压缩到 5 页。斯坦福数论学家 Jared Lichtman 称「此类证明的存在强烈暗示 P≠NP」,因为「寻找极难、验证极易」正是 P vs NP 的底层直觉。
- 饱和式攻击:10 月 6 日 OpenAI 在 GitHub 放出 722 篇手稿(372 个结果家族),模型尝试约 4000 个开放难题,平均每题约 3 小时 ChatGPT Pro 算力。
- 周边突破:证明深度 3 电路下界、唯一博弈猜想(部分 Lean 验证)、随机对数空间完全去随机化等,均为通往 P≠NP 主干道上的里程碑。
- 人类赛跑:MIT Dor Minzer 团队为避免被 AI 抢发,赶在 OpenAI 前发布了相关变体;Scott Aaronson 之妻 Dana Moshkovitz 研究一生的唯一博弈猜想被模型解出,被自家 9 岁儿子调侃。
- 冷水:Fortnow 指出 AI 解出率不到 10%,且无一让 P vs NP 更近;仅约 42% 附 Lean 形式化证明;AI 证明可读性差;能推出 P≠NP 的一般布尔电路下界仍是空白。
- Aaronson 透露 OpenAI 与 Anthropic 正用内部最强模型竞攻 P vs NP,均未成功。
「模型」频道最新
- DeepMind 发布 Gemini Robotics 2.5:人形机器人自主系蝴蝶结、打包成功率96% — AI_Andrew · 2026-11-13
- Inkling 2 Small 采纳 Kimi 注意力残差机制,作者拆解实现细节 — akbirthko · 2026-11-13
- 爆料称 OpenAI Astra 6 或因对齐问题难产,上线遥遥无期 — haider1 · 2026-11-13
- Claude Fable 5.2 系统提示词遭泄露：95 万字符、128 个工具全曝光 — 新智元 · 2026-11-13
- LatentSpace 首测 Naive-N0.5-Flash：编程反超 DeepSeek，峰值 2100 Token/s — 量子位 · 2026-11-13
- Artificial Analysis 给 Qwen3.8-Flash-Next 打 29 分,介于两大竞品之间 — lionellee77 · 2026-11-13