快讯 23:53Claude 九月更新:Chat 与 Cowork 合并,5.5 系列模型登场23:07华为鸿蒙7.0.0.109补丁推送,多设备通信共享功能落地Mate 80系列22:50鸿蒙API分布更新:7.0.0版本占比逼近19%,5.0.0系列彻底退出 全部快讯 →

每日快讯

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

大厂 今天 · 星期五 · 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
企业落地案例
11
完整版提示词