OpenAI 放出 722 篇 AI 数学手稿，菲尔兹奖得主称研究领域被湮灭

OpenAI 于 10 月 6 日在 GitHub 仓库 openai/math 发布约 722 篇由未公开内部前沿模型生成的数学手稿，覆盖约 372 组结果、约 4000 道开放问题；部分证明附带可机检的 Lean 形式化。次日因符号错误撤回 3 篇。

菲尔兹奖得主 Hugo Duminil-Copin 随后公开表示曾为此落泪，称「他们湮灭了我的研究领域」；学界争议集中在验证与同行评审能否跟上产量。相关讨论 10 月 13 日仍在 X 热传。