OpenAI 疑似 AI 证明复杂度猜想，Scott Aaronson 播客谈数学史性时刻
TOEwithCurt · x · 2026-10-24
Curt Jaimungal 与 Scott Aaronson 的播客讨论：OpenAI 发布的 AI 疑似证明了 Dana Moshkovitz（Scott 之妻、复杂性理论家）多年研究的猜想，连她九岁的孩子都打趣「Mommy, I heard you got cooked」。
- 图中文章题为《AI Solved Hundreds of Open Math Problems. Now What?》，称这是数学史上最重要的时刻之一
- Scott Aaronson 是 UT Austin 计算机科学讲席教授、量子信息中心主任，2026 年当选美国国家科学院院士，曾在 OpenAI 从事 AI 安全工作两年，获 ACM 计算奖与 Alan T. Waterman 奖
- 对话聚焦 AI 解出开放数学难题对数学、物理和 AI 本身的意义
所属事件:OpenAI 疑用 AI 证明百万美元复杂度猜想(3 条相关)→
「漫话AGI」频道最新
- 研究者批评 Hinton:拟人化叙事脱离技术现实、贩卖意识形态恐慌 — gerardsans · 2026-10-24
- Grok 推演:人类为何能在 2030 年代造出数十亿台人形机器人 — Dr_Singularity · 2026-10-24
- Boaz Barak:人类可控的未来值得付出长期效率的代价 — mobav0 · 2026-10-24
- Greg Isenberg 列出 9 个 agent 时代创业点子:从 FICO 到 Datadog — AI_Andrew · 2026-10-24
- 瑞典创企 IntuiCell 让机器狗不经预训练、靠交互学会站立 — CurieuxExplorer · 2026-10-24
- DeepMind AlphaEarth 嵌入识别加州番茄田，像素准确率 99.19% — anselm · 2026-10-24