AI 导读
Ethan Mollick 转发 Scott Aaronson 博客内容，收录数学家们面对 OpenAI 发布的数百个大型 AI 证明的第一手描述，称其为遭遇狭窄超人类智能的早期经历。其中 Dana 描述相关论文写得极难读、没有 AI 帮助几乎无法阅读，包含带 Lean certificate 的结果、绕过 UGC 的 Max Cut 等 NP 难度近似最优证明，以及一种全新的怪异递归编码构造。原文链接：https://scottaaronson.blog/?p=10169
推荐理由
转发数学家面对 OpenAI 大量 AI 证明的第一手感受，提供了理解这类非人类思路证明时真实研究体验的窗口。
正文
Some early first-hand accounts of encountering a narrow superhuman intelligence as mathematicians grapple with the hundreds of big AI proofs released by OpenAI.
Problems solved in inhuman ways that make us wonder what it means to actually know things... https://scottaaronson.blog/?p=10169
来源：Ethan Mollick · x.com