OpenAI 公开内部模型数学成果论文：722 篇手稿覆盖 372 项结果

OpenAI 在 GitHub 公开发布内部前沿模型产出的数学论文与证明材料，共 722 篇手稿，整理为 372 个结果族。测试时模型被喂入约 4K 个研究问题，每项结果平均使用相当于 3 小时 ChatGPT Pro 思考的算力。部分结果尚无 Lean 形式化，可能存在问题，仓库将持续更新。