OpenAI 数学研究仓库收录模型生成的 722 篇手稿及配套验证材料

Mathematical manuscripts and supporting proof artifacts produced by OpenAI

OpenAI 的数学研究仓库收录了内部未发布模型生成的 722 篇手稿，按相关结果分为 372 个研究系列。评估期间模型接受了约 4,000 个问题，绝大多数结果采用同一流程生成，每项结果平均使用该模型 3 小时的 ChatGPT Pro 思考计算资源。许多手稿已有 Lean 形式化验证，但验证进度各异，尚未形式化的结果可能存在问题；仓库将持续补充形式化材料，并保留修订历史。

推荐理由：OpenAI 公开模型生成的数学手稿及配套验证材料，并交代结果所处的不同验证阶段，为理解这些研究产出的可靠性提供背景。