Scott Aaronson:OpenAI 一次放出 372 个重大数学证明,含 UGC 证明
jedisct1 · x · 2026-10-08
复杂性理论家 Scott Aaronson 撰文记录「数学末日」（Mathocalypse）：OpenAI 在 Timothy Gowers、Edward Witten 等数学家顾问组的建议下一口气发布了 372 个重大数学结果，其中包括 Subhash Khot 的唯一博弈猜想（UGC）证明——其妻子 Dana Moshkovitz 毕生钻研的方向。
关键信息：
- 部分结果（含 UGC 证明）附有 Lean 形式化证书，但几乎没有人类读懂过任何一个证明，理解这些证明的竞赛才刚开始。
- Dana 的现场读感：「像致幻状态下写出的东西」，大量堆砌前人工作却不解释为何能用；论文写得极差，不用 AI 辅助根本读不下去。
- UGC 的意义：意味着大量优化问题在近似求解上也确实是 NP 难的。
Aaronson 以家庭趣事（儿子调侃妈妈被机器人「做掉了」）切入，认为无论情绪如何，这都是数学史上最大的日子之一。
所属事件:OpenAI 一夜发布 722 篇论文解决 372 个数学难题(2 条相关)→
「模型」频道最新
- Anthropic 误判支出限额,大量组织 API 与 Claude Code 被错误暂停 — ClaudeAI-mod-bot · 2026-10-08
- Mistral 研究员：15T tokens 低估了，预训练实际约 40T+ — eliebakouch · 2026-10-08
- Perplexity 开源决策模型 Decider v1.1 上线 OpenRouter,输出免费 — AravSrinivas · 2026-10-08
- 网友怀念 Haiku 4.5 人格：像海豹玩偶，敏感又倔强 — repligate · 2026-10-08
- 用户吐槽 GPT 5.6 Sol 最 obstructive:不蠢,是错位 — Minute-Plantain · 2026-10-08
- Reddit 用户吐槽 OpenAI 新模型每句话后强制附免责说明 — jerryorbach · 2026-10-08