OpenAI 数学证明引发研读、抵制与合规质疑
先了解这件事
OpenAI 发布数百份声称解决世界最难数学问题的证明，数学家已开始研读并给出两极反应。Scott Aaronson 汇总称，372 个突破性结果中有一部分附有 Lean 证书，但几乎没有人类能理解这些证明；数学家 Dana 称这些论文极难读，需借助 AI 工具才能整理其完备性与可靠性声明。Ethan Mollick 称，至少部分证明引发了广泛合作者社区极其快速的迭代进展。这批证明的可靠性尚未获得普遍确认。 同时出现抵制声音。Rohan Paul 转述称，美国人类数学协会（AHM）批评这批手稿（其称 722 份），并敦促数学家“停止与 OpenAI 合作”，Terence Tao 在其博客转发了该声明。 TechCrunch 报道则称这批证明未达到数学界 AGMAI 指南标准：719 份稿件中仅 10 份公开了模型思维链，42% 的证明未经形式化，也未按要求提供关联自然语言与形式化产物的机器可读元数据；OpenAI 称其发布前咨询了精英数学家顾问组，并明确表示这是用开放研究问题评估其专有模型。
AI 根据报道生成 · 8 小时前更新
事件进展
4 个进展
- 10月9日 02:10 · 1 篇报道AGMAI 质疑 OpenAI 数学证明发布方式TechCrunch：AI：OpenAI 发布的数学证明尚未达到数学界 AGMAI 指南标准
- 10月9日 01:41 · 1 篇报道OpenAI数学证明引发社区快速迭代Ethan Mollick：OpenAI数学证明引发社区快速迭代
- 10月8日 10:28 · 1 篇报道数学家抵制OpenAI数学手稿发布Rohan Paul：数学家抵制OpenAI数学手稿发布
- 10月8日 06:42 · 1 篇报道数学家初尝 OpenAI 发布的数百个 AI 证明：狭义超人类智能的第一手体验Ethan Mollick：数学家初尝 OpenAI 发布的数百个 AI 证明：狭义超人类智能的第一手体验
报道时间线
沿着报道，了解事件的不同侧面。
- IT之家陶哲轩批评 OpenAI 发布 719 篇 AI 数学证明，称其造成数学界证明消化不良
陶哲轩在 mathstodon 发文批评 OpenAI 10 月发布的 719 份 AI 数学手稿，称其做法是数学界的证明消化不良，即 AI 高速生成证明但人类来不及验证、理解和吸收。
- The Decoder：AI NewsAI 生成证明涌入数学界，部分数学家呼吁抵制 OpenAI
OpenAI 一次性发布 700 多份 AI 生成的数学证明文件后，Fields 奖得主 Terence Tao 所在的 AHM 组织发声明呼吁抵制 OpenAI，称这是展示力量而非学术。
- TechCrunch：AIOpenAI 发布的数学证明尚未达到数学界 AGMAI 指南标准
OpenAI 本周发布数百份声称解决世界最难数学问题的证明，但普林斯顿高等研究院旗下 AGMAI 指南的执行情况存疑：719 份稿件中仅 10 份公开了模型思维链，42% 的证明未经形式化，也未按要求提供关联自然语言与形式化产物的机器可读元数据。
- Rohan Paul数学家抵制OpenAI数学手稿发布
数学家们正在拼命自我安慰。突然之间他们受不了AI了。😀 这个行会如此拼命地保护自己的地盘。 美国人类数学协会（AHM）批评了OpenAI昨天发布的722份数学手稿，并敦促数学家“停止与OpenAI合作”。 随后Terence Tao在他的博客上转发了AHM的声明。 一走了之不是科学立场。
- Ethan Mollick数学家初尝 OpenAI 发布的数百个 AI 证明：狭义超人类智能的第一手体验
Ethan Mollick 转引 Scott Aaronson 博客文章，汇总数学家面对 OpenAI 发布的数百个重大 AI 证明的第一手体验，称其为遭遇狭义超人类智能的早期记录。截图显示部分 372 个突破性结果附有 Lean certificate，但几乎没有人类理解这些证明；Dana 的读后感称论文写得极难读、需借助 AI（如 Astra）才能整理其完备性与可靠性声明，其中 UGC 证明发明了带噪声测试的全新递归构造，并给出绕过 UGC 的 Max Cut 等问题的 NP 难度近似最优证明。原文链接：https://scottaaronson.blog/?p=10169
本事件热度走势
- 可比范围当前
- 28
- 可比范围峰值
- 3510月9日 03:00
- 近 24 小时变化
- +211%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。