Rohan Paul· @rohanpaul_ai · X·· 1 小时前AI 评分67
AI 导读
OpenAI 发布其内部前沿模型产出的数学论文合集，共 722 份手稿、归入 372 个结果族，仓库地址 https://github.com/openai/math。作者补充：模型在测试中被给予约 4K 个研究问题，输出经分组过滤得到这些结果族，几乎全部来自同一标准设置，每个结果平均消耗相当于 3 小时 ChatGPT Pro 思考的算力。OpenAI 引用独立数学与人工智能咨询组的建议来决定发布方式，部分结果尚未有 Lean 形式化，仓库将持续更新。
正文
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