OpenAI公布未发布模型攻破数百个数学难题成果
先了解这件事
OpenAI 在 GitHub 上发布了包含 722 篇研究手稿（涵盖 372 个成果系列）的文件，公开其一款未发布前沿 AI 模型解答数百个长期未决数学难题的研究成果。 本次发布包含了模型推理过程摘要、算力估算及学术引用规范，遵循了数学与人工智能咨询小组（AGMAI）的相关建议。据 AGMAI 表示，相关成果平均每项消耗算力约相当于 ChatGPT Pro 连续思考 3 小时，整体影响仍需数学界进一步评估与消化。
AI 根据报道生成 · 2 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- 量子位精选OpenAI 公开 722 篇 AI 生成数学论文与 Lean 证明
OpenAI 公开了 722 篇由未发布内部 AI 模型生成的数学论文手稿，并在 GitHub 托管了论文、源码和部分 Lean 形式化证明。这批成果归为 372 组结果，涵盖准黎曼猜想、霍奇猜想与 BSD 猜想等难题，平均每项消耗算力约相当于 ChatGPT Pro 思考 3 小时。包括 3 位菲尔兹奖得主在内的独立顾问组回应称，发布并不代表已认可这些证明，具体效力仍待数学界后续消化核验。
- IT之家精选OpenAI 发布又一批 AI 数学研究成果，攻破数百个悬而未决难题
OpenAI 在 GitHub 发布了一批包含 722 份手稿的 AI 数学研究成果，展示其未发布模型攻破数百个悬而未决难题的过程。本次发布包含模型推理过程摘要和算力估算，单项普通成果耗费算力约相当于 ChatGPT Pro 连续思考三小时。该举措遵循了数学与人工智能咨询小组（AGMAI）关于披露模型细节和规范学术引用的建议。
- The Verge精选OpenAI 发布 722 篇数学手稿，公布未公开模型解答的数百个数学难题
OpenAI 在 GitHub 上发布了 722 篇研究手稿，涵盖 372 个成果系列，公开了其未发布前沿模型对数百个长期未决数学难题的解答。数学与人工智能咨询小组 AGMAI 表示，这些成果平均每项消耗相当于 3 小时的 ChatGPT Pro 思考算力，后续整体影响仍需数学界进一步评估与消化。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。