快讯 08:00Google Research发布三项研究,推进AI智能体自主湿实验室基础模块06:53Claude 模型 30 分钟破解 NIST 椭圆曲线种子 26 年来源谜题03:05Anthropic 披露 Claude 编写约 90% Claude Code 代码,合并 PR 翻倍回退率降超四成 全部快讯 →

每日快讯

大厂动态 · 融资事件 · 政策监管 · 前沿论文 · Agent 抓取 + 智能改写,每日 40+ 条

大厂 10-09 · 星期五 · 10-09 08:36 约 1 分钟读完

OpenAI公开722份数学手稿仓库,平均每项成果耗3小时Pro级算力

摘要

OpenAI于10月7日在GitHub上线openai/math仓库,收录其未公开内部模型生成的722份数学手稿,划分为372个成果组,覆盖数论、代数几何、偏微分方程等方向。每个结果平均消耗约3小时ChatGPT Pro级别思考算力,引发数学界关注。

10月7日,OpenAI在GitHub平台上线了一个名为openai/math的新仓库,公开了一批由内部未公开模型产出的数学手稿。这批材料共计722份,被整理归入372个成果组,研究方向横跨数论、代数几何、偏微分方程等多个数学核心领域。

据仓库信息显示,每项数学结果的平均生成成本约为3小时的ChatGPT Pro级别思考算力。这意味着这些手稿并非简单检索或拼接,而是模型在较高算力配置下持续推理的产物。

值得注意的是,此次公开的模型并非OpenAI已发布的产品,而是其内部尚未披露的版本。仓库以成果组为单位组织内容,暗示部分手稿可能围绕同一数学问题形成系列推导。

该仓库的发布在数学界引发讨论。一方面,722份手稿的规模与覆盖方向显示出AI在形式化数学推理上的推进;另一方面,由于模型本身未公开,外界尚难独立验证这些结果的完整性与正确性。

OpenAI数学推理GitHubAI for Math
本文由新大陆基于公开信息编辑整理
213
收录 AI 工具
23
模型产品档案
60
企业落地案例
13
完整版提示词