数学家们如何回应 OpenAI 一次性公布大量数学问题解
Proofs and Prompts 汇总了数学界对 OpenAI 于 10 月 6 日公布大量数学问题解法的即时反应，署名者涵盖群论、拓扑、算子代数等方向的研究者。
推荐理由：汇集多位数学家对 OpenAI 一次性公布大量数学问题解的即时反应，呈现学界对研究方式与职业前景的真实分歧。
#论文/研究
Hacker News精选AI 评分8888
科技媒体 RSS精选AI 评分7878 Ethan Mollick 转述数学家阅读 OpenAI 数百个 AI 证明的体验
Ethan Mollick 转发 Scott Aaronson 博客内容，汇集数学家阅读 OpenAI 发布的数百个大型 AI 证明的第一手体验，称其为遭遇狭窄超人类智能的早期记录。其中 Dana Moshkovitz 描述 UGC 相关证明写作混乱、几乎无法在没有 AI 帮助的情况下读懂，部分 372 项突破性结果附有 Lean 证书，但尚无人类理解其中多数证明。
推荐理由：汇集数学家阅读 OpenAI 数百个 AI 证明的第一手体验，呈现人类理解与 AI 产出之间的落差。
已经到底了