Rohan Paul· @rohanpaul_ai · X·· 6 天前AI 评分68
AI 导读
OpenAI 发布由内部前沿模型产生的一系列新数学成果,完整论文目录包含 722 篇手稿,组织为 372 个重要结果族。该目录来自测试中向模型提供约 4K 个研究问题,再对输出分组和筛选;几乎所有结果都使用相同标准设置,每个结果平均消耗相当于 3 小时 ChatGPT Pro 思考的算力。OpenAI 表示发布过程咨询了 Institute for Advanced Study 的独立数学与人工智能咨询小组,仓库地址为 https://github.com/openai/math。
正文
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