2026 年 10 月 6 日，OpenAI 在 GitHub 公开一批由尚未发布的内部模型生成的数学研究材料。仓库收录 722 篇手稿，按 372 个相关结果家族整理，并提供部分 Lean 形式化证明、推理摘要及计算量信息，供研究者查阅和复核。

此次公开的是研究材料，不是模型本身。OpenAI 明确指出，手稿处于不同验证阶段，部分尚无形式化证明，也可能存在需要修订的问题。其技术价值在于提供可检查的模型研究输出与部分机器可验证的证明材料；具体数学结论仍需逐项审阅。

来源：OpenAI 官方说明；OpenAI 数学材料仓库。