Ethan Mollick· @emollick · X·· 3 小时前AI 评分66
AI 导读
Ethan Mollick 转发 Scott Aaronson 博客内容，汇集数学家阅读 OpenAI 发布的数百个大型 AI 证明的第一手体验，称其为遭遇狭窄超人类智能的早期记录。其中 Dana Moshkovitz 描述 UGC 相关证明写作混乱、几乎无法在没有 AI 帮助的情况下读懂，部分 372 项突破性结果附有 Lean 证书，但尚无人类理解其中多数证明。
正文
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