OpenAI开源内部前沿模型数学成果
先了解这件事
2026年10月6日，OpenAI发布其内部前沿模型在数学开放问题上的新结果，并在GitHub开源仓库github.com/openai/math共享Lean证明形式化文件与研究细节。10月7日，OpenAI在X上宣布该系列数学成果，称发布过程中参考了普林斯顿高等研究院独立的数学与人工智能咨询小组的建议与公开建议。Testing Catalog报道称，该仓库收录其下一代前沿模型解出的一系列数学问题的新解法，绝大多数结果由同一个未发布的OpenAI内部模型通过相同流程得到，平均每条结果使用3小时ChatGPT Pro的思考算力，评测过程中该模型共被提出约4,000道题目。同日，Rohan Paul补充称，OpenAI公开了主张背后的722篇论文手稿，涵盖372项数学结果，这批目录是通过向内部模型提供约4K个研究问题、再对输出分组过滤得到的372个重要结果族，几乎所有结果都来自同一标准设置，平均每项结果消耗相当于ChatGPT Pro思考3小时的算力。
事件进展
报道时间线
- OpenAI 开源数学推理数据集
github.com/openai/math
- OpenAI 公开开放问题主张背后的 722 篇论文
OpenAI 公开了其开放问题主张背后的完整论文：722 篇手稿，涵盖 372 项数学结果。这批目录是通过在测试中向内部模型提供约 4K 个研究问题，再对输出进行分组和过滤得到的 372 个重要结果族。几乎所有结果都来自同一标准设置，平均每项结果消耗相当于 ChatGPT Pro 思考 3 小时的算力。
- OpenAI 发布仓库，收录下一代前沿模型解出的数学题新解法
OpenAI 发布了一个仓库，收录其下一代前沿模型解出的一系列数学问题的新解法。绝大多数结果由同一个未发布的 OpenAI 内部模型通过相同流程得到，平均每条结果使用了 3 小时 ChatGPT Pro 的思考算力，评测过程中该模型共被提出约 4,000 道题目。
- OpenAI 发布内部前沿模型产出的数学成果
OpenAI 宣布发布由其内部前沿模型产出的一系列新数学成果，称在发布过程中参考了普林斯顿高等研究院独立的数学与人工智能咨询小组的建议与公开建议，并给出开源仓库 github.com/openai/math。
- OpenAI 公布内部前沿模型在数学开放问题上的新结果
OpenAI 发布其内部前沿模型在数学开放问题上的新结果，并在 GitHub 上共享 Lean 证明形式化文件与研究细节。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。