一句话看懂：OpenAI 在 GitHub 集中发布 719 份 AI 生成的数学手稿，声称解决数百个开放问题，数学家陶哲轩等人批评这种批量产出缺乏可理解机制，可能破坏数学研究的健康生态。
事件核心：发生了什么
2026 年 10 月，OpenAI 在 GitHub 上发布了 719 份数学手稿，包含数百个开放问题的解答。但这些证明由 AI 批量生成，未提供人类可理解的解释或推导过程。著名数学家陶哲轩与多位学者公开批评此举违背了“数学与人工智能咨询组”关于提升专有模型透明度和发布标准的建议。陶哲轩指出，这种工业化“解题”方式导致数学界出现“证明消化不良”——传统研究中，猜想解决依赖学术交流、论文简化和新理论发展，而 AI 只给答案，不参与学术互动，削弱了数学社区的探索机制。
为什么重要
这起争议触及 AI 在基础科学中的角色边界。如果大模型只追求解题速度而忽略可解释性和学术协作，可能扭曲科研评价体系，让“速度”成为唯一指标。数学界担忧，大规模机械式“收割”开放问题不仅难以带来实质洞见，还会挤压传统研究路径，令学科创新土壤贫瘠。对 AI 行业而言，这意味着纯靠算力和推理能力输出答案的模式，在需要深度理解的领域可能遭遇信任和伦理阻力。闭源模型如 OpenAI 的发布策略也再次被置于透明度争议的中心。
对用户/开发者/创作者的影响
对开发者来说，如果基于此类批量证明构建 AI 应用或 API 工具，需注意结果的可信度和可复现性；缺乏推导过程的输出难以验证，可能增加下游错误风险。对数学和科研创作者，AI 生成内容可作为启发素材，但不能替代同行评议和理论梳理。对企业采购方，短期应避免将“解题数量”作为评估模型数学能力的唯一指标，需结合透明度、可解释性综合判断。目前公开信息显示，OpenAI 尚未对批评作出详细回应，因此相关手稿的实际数学价值仍待社区独立检验。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
1. OpenAI 是否会补充证明的推导过程或提供交互式解释工具；2. 数学与人工智能咨询组是否会更新发布标准，约束批量生成证明的行为；3. 其他大模型厂商在数学推理产品上是否会跟进类似发布，以及开源社区如何复现和验证这些结果。
来源：AIbase
