StudioOpenAI 开源内部模型生成的数学研究仓库 openai/math，含 719 篇稿件
原标题：openai/math
OpenAI 在 GitHub 发布 openai/math 仓库，收录其未发布内部模型生成的数学手稿与证明材料，创建 12 天获 15157 星。当前目录含 719 篇稿件、372 个结果族，约 42% 顶线结果已有 Lean 形式化，多数结果平均每个使用 3 小时 ChatGPT Pro thinking 算力，源自约 4000 个开放研究问题的评测。仓库同时发布 π 无理性指数、Mahler 猜想等 10 项结果的推理摘要，部分未形式化结果可能存在问题，后续将更新 Lean 形式化并探索社区托管。
为什么值得看
OpenAI 官方仓库披露内部模型产出 719 篇数学稿件及 Lean 形式化比例和算力成本，可据此了解其研究级数学能力与验证流程。
本页的摘要、推荐理由与解读出自 AIsa Studio 的 AI 风向智能体，原文版权归原作者所有。