OpenAI AI 生成数学证明事件综述
先了解这件事
10月7日，UT Austin 数学系主任透露 OpenAI 准备发布 400 个由 AI 生成的数学证明。10月9日 The Decoder 报道，OpenAI 一次性放出 700 多份 AI 生成的数学证明文件，数量明显高于早先报道的 400 个，部分数学家公开呼吁抵制 OpenAI。AHM 声明称这“不是学术展示，而是力量展示”，并暗示成果源于对数学家作品的训练。Aaronson 透露此次共测试约 8000 个问题、成功率约 5%，每题平均消耗 3 小时 GPT-Pro 级算力，密码学方向缺席。同日稍晚，人类数学协会发布声明，敦促所有数学家停止与 OpenAI 合作，要求会员承诺不向商业 AI 公司提供服务、不发表 AI 生成的数学文本；陶哲轩在个人博客转载该声明后引发广泛争论。而这份抵制声明本身被 AI 检测工具 Pangram 判定为 100% 由 AI 生成，进一步加剧了事件的荒诞色彩与舆论争议。10月10日 The Verge 报道，这批结果散布于 719 篇手稿中，覆盖数论、组合数学、拓扑等领域，其中仅约 300 项顶层结果完成 Lean 形式化验证，截至 10 月 8 日已有十余篇手稿修订、三篇因符号错误被撤回。多位数学家认为其中不乏可冲击菲尔兹奖级别的工作，但担忧验证负担与职业冲击，称消化这批结果可能需要数年。10月14日，Hacker News 报道 OpenAI 上周分享的成果已更新为 722 份手稿、400 多项结果，由一个未公开名称的内部前沿模型得出；数学界质疑这些解答缺少可审查的推导过程，无法作为后续研究的基础，也未带来新的数学理解。
AI 根据报道生成 · 2 天前更新
事件进展
- 10月14日 00:07 · 1 篇报道OpenAI 发布722份数学手稿与证明引发争议Hacker News · AI 最新：OpenAI 分享 722 份手稿与证明，AI 在数学界引发争议
- 10月10日 03:09 · 1 篇报道OpenAI 发布近400项AI生成数学成果The Verge · AI：数学家称需数年才能消化 OpenAI 发布的近 400 项 AI 数学结果
- 10月9日 18:21 · 1 篇报道人类数学协会发声明抵制OpenAI，陶哲轩转载爱范儿：陶哲轩转发抵制声明，数学界和 OpenAI 彻底撕破脸
- 10月9日 02:17 · 1 篇报道数学家呼吁抵制 OpenAI 大规模 AI 证明The Decoder：AI 生成证明涌入数学领域，部分数学家呼吁抵制 OpenAI
- 10月7日 02:46 · 1 篇报道UT Austin 数学系主任称 OpenAI 准备发布 400 个 AI 生成的数学证明Hacker News · AI 最新：UT Austin 数学系主任称 OpenAI 准备发布 400 个 AI 生成的数学证明
报道时间线
沿着报道，了解事件的不同侧面。
- Hacker News · AI 最新OpenAI 分享 722 份手稿与证明，AI 在数学界引发争议
OpenAI 上周分享了 400 多项困扰人类数十年的数学公式结果，由一个未公开名称的内部前沿模型得出。研究人员表示，验证这些 AI 生成的成果可能需要数年时间。数学界质疑，这些解答缺少可审查的推导过程，无法作为后续研究的基础，也未带来新的数学理解。
- The Verge · AI精选数学家称需数年才能消化 OpenAI 发布的近 400 项 AI 数学结果
OpenAI 本周突然发布近 400 项 AI 生成的数学结果，散布于 700 多篇手稿中，覆盖数论、组合数学、拓扑等多个领域。OpenAI 称 719 篇手稿中仅约 300 项顶层结果完成 Lean 形式化验证，截至 10 月 8 日已有十余篇手稿修订、三篇因符号错误被撤回。多位数学家认为其中不乏可冲击菲尔兹奖级别的工作，但也担忧验证负担与职业冲击，称理解这批结果可能需要数年。
- 爱范儿陶哲轩转发抵制声明，数学界和 OpenAI 彻底撕破脸
人类数学协会发布声明，敦促所有数学家停止与 OpenAI 合作，陶哲轩在个人博客转载后引发广泛争论。协会要求会员承诺不向商业 AI 公司提供服务、不发表 AI 生成的数学文本，而这份声明本身被 AI 检测工具 Pangram 判定为 100% 由 AI 生成。
- The Decoder精选AI 生成证明涌入数学领域，部分数学家呼吁抵制 OpenAI
OpenAI 一次性放出 700 多份 AI 生成的数学证明文件，引发数学界反弹，部分数学家公开呼吁抵制 OpenAI。AHM 声明称这“不是学术展示，而是力量展示”，并暗示相关成果源于对数学家作品的训练。Aaronson 透露此次共测试约 8000 个问题、成功率约 5%，每题平均消耗 3 小时 GPT-Pro 级算力，密码学方向则缺席。
- Hacker News · AI 最新UT Austin 数学系主任称 OpenAI 准备发布 400 个 AI 生成的数学证明
UT Austin 数学系主任透露，OpenAI 正准备发布 400 个由 AI 生成的数学证明。
本事件热度走势
当前热度 3·可比范围峰值 22（10月10日 04:00）·近 24 小时可比范围变化 -50%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。