OpenAI发布722篇AI数学手稿引学界质疑
先了解这件事
OpenAI 在 GitHub 发布 722 篇数学手稿，覆盖 372 个结果族，称由未公开发布的内部前沿模型生成，多数结果来自对单个 AI 智能体的单次提示，许多证明附带 Lean 形式化。OpenAI 称“平均每个结果”消耗的算力约相当于 ChatGPT Pro 思考三小时。 据新成立的独立顾问组织 AGMAI 称，这批手稿包含对“数百个”开放问题的解答；The Decoder 报道称每项结果都声称解决了一个开放问题或取得实质进展，涉及主要计算机算法的改进以及与黎曼猜想相关的推进。上述“解决开放问题”的说法来自 OpenAI 和 AGMAI，尚未作为已证实的效果呈现。 TechCrunch 报道，AGMAI 表示其建议是否被成功遵循最终由数学界评估，而该组织的第一条建议就是停止在专有模型上测试高难数学问题，OpenAI 的发布说明却明确表示正在用开放研究问题评估其专有模型。
AI 根据报道生成 · 9 天前更新
事件进展
2 个进展
- 10月9日 02:10 · 1 篇报道TechCrunch报道OpenAI数学证明未达学界标准TechCrunch · AI：OpenAI 的数学解答尚未达到学界标准
- 10月6日 20:00 · 4 篇报道OpenAI发布722篇数学手稿OpenAI News：OpenAI 公布内部前沿模型在数学开放问题上的进展
报道时间线
沿着报道，了解事件的不同侧面。
- The Verge · AI精选OpenAI 一次性放出近 400 项 AI 数学成果，数学家称需数年才能消化
OpenAI 本周发布近 400 项 AI 生成的数学结果，分布在 700 多份手稿中，覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学及数学物理等领域，并为此在 GitHub 上发布了仓库导航指南。
- TechCrunch · AIOpenAI 的数学解答尚未达到学界标准
OpenAI 本周发布数百份高难数学问题的解答，称已咨询精英数学家组成的顾问组，但普林斯顿高等研究院主办的数学与人工智能顾问组（AGMAI）表示，其建议是否被成功遵循最终由数学界评估，而该组织的第一条建议就是停止在专有模型上测试高难数学问题，OpenAI 的发布说明却明确表示正在用开放研究问题评估其专有模型。
- The Decoder精选OpenAI 在 GitHub 发布 372 项 AI 生成的数学结果
OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 项数学结果，每项都声称解决了一个开放问题或取得实质进展，其中包含对主要计算机算法的改进以及与黎曼猜想相关的推进。
- Latent Space精选OpenAI 发布内部模型产出的 722 篇数学论文，覆盖 500 个开放问题中的 90 个
OpenAI 在公开 GitHub 仓库中发布了一批来自内部前沿模型的数学成果，共 722 篇论文、归入 372 个相关结果族，来自约 4000 道研究问题的评测，平均每个结果消耗约 3 小时 ChatGPT Pro 思考算力，模型本身尚未发布。
- The Verge · AI精选OpenAI 发布 722 篇数学手稿，称解决数百个开放问题
OpenAI 通过 GitHub 仓库发布了一批共 722 篇数学手稿，覆盖 372 个结果族，据新成立的独立顾问组织 AGMAI 称其中包含对“数百个”开放问题的解答。
本事件热度走势
- 可比范围当前
- 3
- 可比范围峰值
- 310月11日 20:00
- 近 24 小时变化
- –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。