与数学论文撤回记录更新几乎同时，OpenAI在官网“分享数学进展”页面系统介绍了其数学成果公开计划。项目仓库github.com/openai/math收录了内部模型在开放性数学问题上产出的手稿与证明材料，覆盖多个数学分支，并承诺随着新证明的获得持续更新Lean形式化版本，让机器可验证的数学成果不断增长。此前内部评测饱和后，团队把评估扩展到了开放性研究问题。
按仓库说明，当前目录共收录719篇手稿，归入372个“家族”。每个家族把相关论文打包在一起，可能包含主结果、配套论证、推论或替代证明，并按数学分支分类。配套的概览文档描述了各个家族的研究主题，手稿地图则可以帮助读者定位每一篇论文及其支撑材料，预印本目录存放PDF与源文件。
约四成顶层结果已经完成了机器可验证的形式化
按仓库说明，当前目录共收录719篇手稿，归入372个“家族”。每个家族把相关论文打包在一起，可能包含主结果、配套论证、推论或替代证明，并按数学分支分类。配套的概览文档描述了各个家族的研究主题，手稿地图则可以帮助读者定位每一篇论文及其支撑材料，预印本目录存放PDF与源文件。每个家族按数学分支归类，读者可按主题浏览，也可通过手稿地图直达单篇论文。
除论文本身，仓库还发布了部分结果的推理过程摘要，涉及π的无理性指数、对称与一般Mahler猜想、半定规划阈值处的NP难度、算术级数的拟多项式界等主题。每个家族目录下附有引文与构建说明，研究者可以复现每一步推导，检查模型推理链条的完整性。形式化目录还给出了每份证明的验证配置，第三方可以用同样的配置独立复检。
把数学成果放在GitHub上本身就是一种姿态
仓库的Lean库与形式化目录列出了已有的形式化证明、关联论文及其验证配置，目前顶层结果的形式化比例约为42%。OpenAI表示会随着新证明的获得继续更新形式化目录，尚未形式化的结果也可能存在问题，团队承诺快速修复。这种“先公开、再逐步验证”的节奏，与传统期刊的发表流程截然不同。形式化目录还给出了每份证明的验证配置，第三方可以用同样的配置独立复检。
传统数学成果发表要经过期刊的漫长审稿，而OpenAI选择把半成品直接放在GitHub上，接受公开检视。支持者认为这种开放加速了纠错——撤稿事件恰好证明了公开目录的自我净化能力；质疑者则担心未经形式化的结论被过度引用，甚至流入下游研究。公开是最好的审稿人。