Rohan Paul· @rohanpaul_ai · X·· 2 小时前精选AI 评分73
AI 导读
OpenAI 发布其内部前沿模型产出的数学结果论文，共 722 篇手稿、覆盖 372 项数学结果，代码与论文见 github.com/openai/math。这批目录来自测试期间向内部模型投喂约 4K 个研究问题，再对输出分组筛选为 372 个重要结果族。几乎所有结果都出自同一标准设置，每项平均消耗相当于 3 小时 ChatGPT Pro 思考的算力。
推荐理由
材料给出这批数学结果的产出规模与生成方式，读者可据此了解前沿模型做数学研究的实际投入与筛选流程。
正文 · 原文
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