发生了什么
2026年10月6日,OpenAI在GitHub仓库 openai/math 发布了来自 未公开内部模型 的数学结果:372个结果族 和 722篇手稿(撤稿后为719)。公司称模型被给定约 4000 个开放问题,每个保留结果平均花费约 三小时 的ChatGPT Pro思考。约 42% 的主要结果用证明语言 Lean 做过机器检查;其余在没有人或机器确认的情况下发布。
10月7日,一个符号错误使三篇手稿失效并被 撤回,另有14篇修订。高等研究院顾问组曾建议公开模型、提示词和每题算力——均未兑现。Association for Human Mathematics呼吁数学家 停止与OpenAI合作。
为什么重要
产出结果的速度已超过阅读与验证的速度。用工程比喻,这像未经审查就合并700个PR。
现在该做什么
- 在任何AI输出流程中设置 验证关卡(人工、Lean/测试或两者)。
- 优先先公布已机器验证的部分。
- 把快速撤稿视为健康信号,把学界压力视为声誉警示。