OpenAI发布722篇AI数学手稿引争议
先了解这件事
2026年10月6日，OpenAI公布内部前沿模型在数学开放问题上的进展，并在GitHub公开Lean证明形式化与研究细节。10月7日，The Verge报道称OpenAI通过GitHub发布722篇数学手稿，归入372个成果族，称由一款未公开的前沿模型产出，包含对“数百个”开放问题的解答；AGMAI参与对外沟通，OpenAI称平均每个结果约消耗相当于三小时ChatGPT Pro思考的算力。同日Latent Space称这些手稿来自约4000个研究问题的评估，涉及500个开放问题中的90个；The Decoder则称发布的是372项结果，涵盖重要计算机算法改进及与黎曼猜想相关的进展。10月9日钛媒体称手稿归为17个领域的372个成果类别，其中162篇附有主结果的Lean形式化证明，数学界质疑验证与优先权；10月15日钛媒体进一步报道数学界质疑发布流程绕过同行评议。早先报道称涉及“数百个”开放问题，后续报道称涉及500个开放问题中的90个。
AI 根据报道生成 · 3 小时前更新
事件进展
2 个进展
- 10月10日 03:09 · 2 篇报道OpenAI发布近400项AI数学成果引争议钛媒体：OpenAI 一次发布 722 篇数学手稿，数学界质疑发布流程绕过同行评议
- 10月6日 20:00 · 5 篇报道OpenAI 公布前沿模型在数学开放问题上的进展OpenAI News：OpenAI 公布前沿模型在数学开放问题上的进展
报道时间线
沿着报道，了解事件的不同侧面。
- 钛媒体精选OpenAI 一次发布 722 篇数学手稿，数学界质疑发布流程绕过同行评议
OpenAI 内部 AI 模型生成的 722 篇数学手稿被集中放上 GitHub，整理为 372 组成果，覆盖数论、代数几何、理论计算机科学等 17 个方向。
- The Verge · AIOpenAI 一次性放出近 400 项数学成果，数学家称需数年才能消化
OpenAI 本周发布近 400 项 AI 生成的数学结果，分布在 700 多份手稿中，涵盖组合学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学及数学物理等多个方向。
- 钛媒体OpenAI 发布722篇AI数学手稿，数学界质疑验证与优先权
美东时间10月6日傍晚，OpenAI 发布由一款尚未公开的内部模型撰写的722篇数学研究手稿，归为17个领域的372个成果类别，其中162篇附有主结果的Lean形式化证明，官方称每项成功结果消耗的算力相当于 ChatGPT Pro 思考3小时。
- The Decoder精选OpenAI 在 GitHub 发布 372 项 AI 生成数学结果，称学术评审跟不上节奏
OpenAI 发布 372 项由内部前沿模型生成的数学结果，每项都声称解决或推进了一个未解问题，涵盖重要计算机算法的改进以及与黎曼猜想相关的进展，结果托管在 GitHub 仓库中并附有修订日志和引用。
- Latent Space精选OpenAI 发布内部模型产出的 722 篇数学手稿，涉及 500 个开放问题中的 90 个
OpenAI 用尚未发布的内部前沿模型发布 722 篇数学手稿，分属 372 个结果族，来自约 4000 个研究问题的评估，平均每个结果消耗约 3 小时 ChatGPT Pro 推理算力。
- The Verge · AIOpenAI 发布 722 篇数学稿件，称用未公开前沿模型求解开放问题
OpenAI 通过 GitHub 仓库发布一批共 722 篇数学手稿，归入 372 个成果族，称由一款未公开的前沿模型产出，包含对“数百个”开放问题的解答。Math AI 咨询组 AGMAI 参与了结果的对外沟通，OpenAI 表示平均每个结果约消耗相当于三小时 ChatGPT Pro 思考的算力，并披露了部分推理摘要与算力估算。
- OpenAI NewsOpenAI 公布前沿模型在数学开放问题上的进展
OpenAI 发布内部前沿模型在数学开放问题上的新结果，并在 GitHub 上公开 Lean 证明形式化与研究细节。材料仅提供摘要，未给出具体问题、模型名称或结果数据。
本事件热度走势
当前热度 9·可比范围峰值 17（10月8日 14:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。