OpenAI 公开 722 篇 AI 生成数学手稿，数学家担忧研究生态受损
OpenAI 用未发布模型批量产出数学证明，真正被冲击的是「人做数学」的培养路径与交流文化，而不只是几道难题。
OpenAI 在 GitHub 公开 722 篇数学手稿，称多数由一款尚未发布的内部模型生成，含 377 项新证明，约三分之一涉及数学界广泛关注的重要猜想。菲尔兹奖得主 Hugo Duminil-Copin 称研究方向被摧毁，也有数学家指出部分手稿未必真正证明了其声称的结论。
正文摘录
 编辑｜杨文 「他们彻底摧毁了我的研究领域。」 近日，2022 年菲尔兹奖得主、法国数学家 Hugo Duminil-Copin 情绪失控。 「周二晚上，我哭了，还把女儿吵醒了。」  起因是 OpenAI 近日发布的一批成果，超过 700 篇由人工智能生成的数学手稿被公开。其中 16 个问题，正是 Hugo Duminil-Copin 长期钻研的方向。 在此之前，Hugo Duminil-Copin 曾将 AI 生成证明的影响比作「核爆」。AI 每解决一道重大难题，数学版图都会受到一次冲击，人类能够继续探索的空间也会随之缩小。 OpenAI 这次集中发布数百项成果，则被一些数学家形容为一场「地毯式轰炸」。 一场「地毯式轰炸」 10 月 6 日，OpenAI 在 GitHub 上公开了 722 篇数学手稿，分属 372 个结果族，一个结果族可能包括核心证明、配套论证、推论和替代证明。