Ethan Mollick 转引 Scott Aaronson 博客文章，汇总数学家面对 OpenAI 发布的数百个重大 AI 证明的第一手体验，称其为遭遇狭义超人类智能的早期记录。截图显示部分 372 个突破性结果附有 Lean certificate，但几乎没有人类理解这些证明；Dana 的读后感称论文写得极难读、需借助 AI（如 Astra）才能整理其完备性与可靠性声明，其中 UGC 证明发明了带噪声测试的全新递归构造，并给出绕过 UGC 的 Max Cut 等问题的 NP 难度近似最优证明。原文链接：https://scottaaronson.blog/?p=10169