OpenAI 发布内部前沿模型产出的数学研究成果
AI guide
AI 导读
OpenAI 发布一批由内部前沿模型产出的新数学成果，成果以 GitHub 仓库形式公开，并附论文修订与引用协议，其中许多证明已用 Lean 形式化以便计算机验证。
Story tracking
事件追踪
OpenAI 于 10 月 7 日在 GitHub 仓库 github.com/openai/math 公开一批由内部未发布前沿模型产出的数学结果，共 722 份手稿、372 个结果家族，并附论文修订与引用协议，其中许多证明已用 Lean 形式化以便计算机验证。OpenAI 称发布前咨询了普林斯顿高等研究院数学与人工智能独立顾问组，并依据其建议和公开建议决定发布方式。 据 Testing Catalog 报道，绝大多数结果由同一流程、用未发布的内部模型完成，平均每个结果使用三小时 ChatGPT Pro thinking 算力，评估期间模型共被提出约 4,000 个问题；例外包括黎曼 zeta 函数零点自由区域和 CM 阿贝尔簇上 Hodge 猜想证明的相关工作，其中 Re(s) > 11/12 零点自由区域的文稿经人工编辑以提升可读性。IT之家报道称，咨询小组 AGMAI 呼吁通过学术渠道发布并披露模型名称、提示词和算力开销。 此前数学界已有反对声音：agmai.org 于 9 月 29 日发布《Responsible Release of AI-Generated Mathematics》，明确反对在闭源模型上测试高难度数学问题；资深数学家委员会也建议 OpenAI 停止在专有模型上测试高等数学问题。
最新进展：OpenAI 发布内部前沿模型产出的多项数学新结果
事件时间线
X：Greg Brockman (@gdb)
OpenAI 发布内部前沿模型产出的多项数学新结果
OpenAI 发布一系列由内部前沿模型产出的新数学结果，仓库地址 https://github.com/openai/math。发布前咨询了高等研究院数学与人工智能独立顾问小组，并参考其建议和公开推荐来决定发布方式。Greg Brockman 转发此事，称其朝加速科学发现和改善每个人生活质量的方向迈进。
阅读原始报道 ↗X：Nathan Lambert (@natolambert)
OpenAI 发布内部模型数学成果
给这个"数学"起的 GitHub 仓库名太搞笑了 @OpenAI： 我们正在发布由内部前沿模型产出的一系列广泛的新数学成果。 我们一直在与普林斯顿高等研究院的数学与人工智能独立咨询小组磋商，并借鉴了他们的建议和公开推荐来指导我们发布这些成果的方式。 https://github.com/openai/math
阅读原始报道 ↗X：Rohan Paul (@rohanpaul_ai)
OpenAI 发布 722 篇 AI 生成的数学证明论文
OpenAI 发布 722 篇 AI 生成的数学证明论文，覆盖 372 个数学结果族。其中矩阵乘法证明将 2 个 n×n 矩阵乘法的已证明成本从 AlphaEvolve 今年 8 月创下的约 n^2.371177 降至约 n^2.25，并附 Lean 形式化，但这是理论界，尚未给工程师提供可用于真实 GPU 负载的更快例程；这些结果来自内部模型处理约 4K 研究问题后的分组过滤，每个平均使用约相当于 3 小时 ChatGPT Pro 思考的算力。
阅读原始报道 ↗IT之家（RSS）
OpenAI 公布未发布前沿模型解决的数百个数学难题研究成果
OpenAI 公布一批含 722 份手稿、372 个结果家族的文件，展示某款未发布前沿模型对数百个未解决数学难题的解答，成果发布在 GitHub 仓库中。咨询小组 AGMAI 呼吁通过学术渠道发布并披露模型名称、提示词和算力开销，称一项普通成果的算力大致相当于 ChatGPT Pro 连续思考三小时。
阅读原始报道 ↗X：Rohan Paul (@rohanpaul_ai)
OpenAI 公开内部模型数学成果论文：722 篇手稿覆盖 372 项结果
OpenAI 在 GitHub 公开发布内部前沿模型产出的数学论文与证明材料，共 722 篇手稿，整理为 372 个结果族。测试时模型被喂入约 4K 个研究问题，每项结果平均使用相当于 3 小时 ChatGPT Pro 思考的算力；部分结果尚无 Lean 形式化，可能存在问题，仓库将持续更新。
阅读原始报道 ↗The Verge：AI（RSS）
OpenAI 通过 GitHub 发布 722 份数学论文手稿，称含数百个公开问题解答
OpenAI 发布一批 722 份论文手稿，覆盖 372 个结果族，由未发布的前沿模型产出，据独立咨询组织 AGMAI 称包含对数百个长期公开数学问题的解答。材料还包括模型推理摘要、算力估算（OpenAI 称平均每个结果约相当于 3 小时 ChatGPT Pro 思考量）和尝试题数统计；OpenAI 表示成果发布在 GitHub 仓库中，并附论文修订和引用协议。
阅读原始报道 ↗X：Thomas Wolf（Hugging Face 联创/CSO） (@Thom_Wolf)
OpenAI 发布内部前沿模型产出的新数学结果
OpenAI 宣布发布由内部前沿模型产出的一批新数学结果，材料已在 GitHub 开放。发布方式参考了高等研究院数学与人工智能独立咨询组的建议和公开推荐。
阅读原始报道 ↗OpenAI：官网动态（RSS · 排除企业/客户案例） 一手信源
OpenAI 发布内部前沿模型产出的数学研究成果
OpenAI 发布一批由内部前沿模型产出的新数学成果，成果以 GitHub 仓库形式公开，并附论文修订与引用协议，其中许多证明已用 Lean 形式化以便计算机验证。
阅读原始报道 ↗X：Testing Catalog (@testingcatalog)
OpenAI 发布仓库，公开其未发布前沿模型求解的一系列数学新结果
OpenAI 发布 GitHub 仓库 https://github.com/openai/math，公开由内部前沿模型产生的一系列新数学结果，并咨询了高等研究院数学与人工智能独立咨询小组。绝大多数结果由同一流程、用未发布的内部模型完成，平均每个结果使用三小时 ChatGPT Pro thinking 算力，评估期间模型共被提出约 4,000 个问题；例外包括黎曼 zeta 函数零点自由区域和 CM 阿贝尔簇上 Hodge 猜想证明的相关工作，其中 Re(s) > 11/12 零点自由区域的文稿经人工编辑以提升可读性。
阅读原始报道 ↗X：Tibo (@thsottiaux) 一手信源
OpenAI 模型解决重要数学问题
今天发布的其它内容完全无关，但我们的模型确实解决了一些重要的数学问题，团队在下面这篇博客中做了记录。科学进步的新时代，令人瞩目。 https://openai.com/index/sharing-ai-progress-in-mathematics/
阅读原始报道 ↗X：OpenAI (@OpenAI)
OpenAI 发布内部前沿模型产出的新数学成果
OpenAI 发布由内部前沿模型产出的一批新数学结果，链接为 https://github.com/openai/math。发布前咨询了普林斯顿高等研究院（IAS）数学与人工智能独立顾问组，并依据其建议和公开建议决定发布方式。
阅读原始报道 ↗The Verge：AI（RSS）
AI 接管数学界引发争议：OpenAI、Anthropic 的数学突破与学界反弹
过去一年 OpenAI、Anthropic 等实验室宣布解决多个长期数学难题，包括一个千禧年大奖难题，进展超出研究者对现有系统的预期。但这些突破在学界引发反弹，数学家要求 OpenAI 证明未使用其成果，AI 实验室称正从早期错误中学习。
阅读原始报道 ↗Hacker News 热门（buzzing.cc 中文翻译）
数学家如何看待AI数学浪潮：从悲伤五阶段到定理清单
作者认为数学界正经历前所未有的AI转型，用悲伤五阶段梳理同行的分化反应，涵盖拒绝使用AI的 Association for Human Mathematics、Peter Scholze 的公开抵制、资深数学家委员会建议 OpenAI 停止在专有模型上测试高等数学问题，以及因 ChatGPT 秒杀引理而动摇的研究者。
阅读原始报道 ↗Hacker News：AI 热帖
数学社区发布 AI 生成数学成果的负责任发布建议
agmai.org 于 9 月 29 日发布《Responsible Release of AI-Generated Mathematics》，针对 AI 实验室发布数学成果提出建议，并明确反对在闭源模型上测试高难度数学问题。
阅读原始报道 ↗