Aaronson 长文「数学末日」：OpenAI 372 项成果包括唯一博弈猜想证明
burny_tech · x · 2026-10-08
Scott Aaronson 发表博客《The Mathocalypse》，记录 OpenAI 一夜发布 372 项重大数学成果后的震动：
- 在 Timothy Gowers、Edward Witten 等数学家组成的顾问组建议下，成果中包括 Subhash Khot 唯一博弈猜想(UGC)的证明——Aaronson 之妻 Dana Moshkovitz 整个职业生涯都在研究这一问题。9 岁儿子甚至调侃妈妈「被机器人打爆了」。
- 部分证明附有 Lean 形式化证书，但几乎没有人类真正理解这些证明，理解竞赛才刚刚开始。Dana 形容证明「像磕了迷幻药的人写的」，大量内容不清楚。
- Aaronson 认为这无疑是数学史上最重要的日子之一，无论人们对此感到兴奋、沮丧还是愤怒。
所属事件:Scott Aaronson 发「数学末日」长文：OpenAI 一夜放出 372 项数学成果(4 条相关)→
「模型」频道最新
- 开发者热议:ColBERT 式 late interaction 还算不算 cross-encoder 重排器 — CShorten30 · 2026-10-08
- Claude Projects 支持定时任务，可自动周期执行项目工作 — ColleenMBrady · 2026-10-08
- 曝 X 准备全合一订阅:X、Grok、Cursor 共享一个用量池 — nima_owji · 2026-10-08
- 4 模型跨文件修 bug 实测:3/4 通过,成本相差 10 倍,最便宜的反倒最慢翻车 — lulzxdxdxd · 2026-10-08
- Google 调整 Gemini 免费策略：Flash 与 Pro 即将转入付费计划 — Robert__Sinclair · 2026-10-08
- Apollo Research:最终检查点测试抓不住早期失调风险 — dl_weekly · 2026-10-08