AI 导读
OpenAI 在 GitHub 公开其内部前沿模型产出的数学论文全集，共 722 篇手稿、归入 372 个成果家族，并附 https://github.com/openai/math。构建方式是给模型约 4K 个研究问题，再分组筛选；每个结果平均耗费约 3 小时 ChatGPT Pro 思考量级算力。部分成果未经 Lean 形式化验证，可能存在问题，仓库将持续更新。
推荐理由
原文整理了 OpenAI 公开论文的规模、测试问题和单结果算力成本，便于评估其开放问题结果的分量。
正文
OpenAI published the full papers behind its open-problems claim: 722 manuscripts covering 372 math results.
OpenAI built this catalogue by giving its internal model roughly 4K research problems during testing, then grouping and filtering the output into 372 significant result families.
Almost all of those results came from the same standard setup, and each used on average the computing equivalent of 3 hours of ChatGPT Pro thinking.
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. https://github.com/openai/math在 X 查看被引用的帖子
来源：Rohan Paul · x.com