热点事件持续更新
OpenAI开源内部模型产出的722份数学手稿
2 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月7日，据AGI Hunt报道，OpenAI在GitHub上开源openai/math仓库，公开一批由未公开的内部前沿模型产出的数学成果。报道称，该仓库共收录722份数学手稿，并按372个相关结果族进行归类，成果附有预印本（preprints）、推理轨迹（reasoning traces）以及Lean形式化等证明材料。同日稍晚的后续报道进一步称，该仓库采用Apache-2.0许可，已获得1.2k star，收录的是模型产出的数学手稿与证明工件，其中包含Lean形式化、预印本和推理轨迹。两篇报道内容一致，后者为补充细节。目前关于这些手稿的具体数学内容、所用内部模型的身份，以及外部验证情况，报道中均未提供更多细节。
AI 根据报道生成 · 2 小时前更新
最新进展10月7日 07:46
后续报道补充称该仓库以Apache-2.0许可开源，已获1.2k star。报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- AGI HuntOpenAI 开源 openai/math 仓库，收录模型产出的数学手稿与证明工件
OpenAI 开源 openai/math 仓库（Apache-2.0，已获 1.2k star），收录其内部前沿模型产出的数学手稿与证明工件，含 Lean 形式化、预印本和推理轨迹。
- AGI Hunt精选OpenAI 开源内部模型产出的 722 份数学手稿
OpenAI 在 GitHub 开源 openai/math 仓库，公开由未公开的内部前沿模型产出的一系列数学成果，共收录 722 份数学手稿，按 372 个相关结果族归类，并附有 preprints、reasoning traces 与 Lean 形式化等证明材料。
本事件热度走势
当前热度 10·可比范围峰值 10（10月7日 08:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。