资讯
OpenAI 公开 722 篇数学手稿，以工业化节奏冲击数学前沿但遭方法论争议
一句话：10-11~12 OpenAI 公开由前沿模型产出的 722 篇数学预印本，覆盖数论、几何、理论计算等 17 个领域，GitHub 公开，引发数学界巨大波澜；两天后官方承认首批有瑕疵。
背景
- 今日头条/光明网 10-12：OpenAI 公开由前沿模型产出的 722 篇数学预印本论文，涵盖理论计算、数论、几何、数学物理等 17 个领域，在 GitHub 公布，按相关性划分为 372 个「结果族」。
核心要点
- 722 篇按相关性划分为 372 个「结果族」，部分附 Lean 形式化证明，部分仅非形式化论证。
- 多数结果用尚未发布的内部模型获得，平均每个结果耗费约 ChatGPT Pro 三小时算力。
- 含准黎曼假设等重要问题进展；为一个月内第二次用大模型破解数学难题（9 月初约 1 万 agent、88 小时破解纳维–斯托克斯）。
- 发布两天后官方 math 仓库更新日志承认首批瑕疵：撤回 3 篇、修订 14 篇、13 篇更新引用（含 1 处符号错误致论证失效）。
为什么重要
- AI 以工业化节奏冲击数学最古老的知识堡垒，但也引发方法论争议与数学界多次集体发声反对。
- 「结果族 + 形式化证明 + 公开修订」成为 AI 辅助科学发现的新范式与争议焦点。
关键事实速记
- 722 篇 / 372 结果族 / 17 领域
- 内部未发布模型
- 平均 Pro 三小时
- 撤回 3 修订 14
- 纳维–斯托克斯 9 月初
📂 原文链接：查看原文 →
← 返回资讯列表
AI8899 · 内容仅供学习参考