Chubby♨️· @kimmonismus · X·· 1 小时前AI 评分70
AI 导读
OpenAI 发布了一批由内部前沿模型产出的数学成果，共 722 篇数学手稿，归入 372 个相关结果族，来自约 4000 道研究问题的评测。OpenAI 称标准流程平均每个结果消耗约三小时 ChatGPT Pro 思考算力，发布内容包括论文、证明工件和部分推理摘要，模型本身仍未公开。相关代码与材料托管在 github.com/openai/math。
正文
HOLY, the rumors were true: OpenAI has published 722 mathematical manuscripts produced by an *unreleased* internal model.
The collection groups them into 372 families of related results, drawn from an evaluation involving approximately 4,000 research problems.
OpenAI says the standard procedure used an average of three hours of ChatGPT Pro thinking compute per result.
The release includes papers, proof artifacts and selected reasoning summaries. The model itself remains unreleased.
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 查看被引用的帖子
来源：Chubby♨️ · x.com