OpenAI Astra攻破10道数学难题 引发署名争议

时间：2026年8月11日 地点：美国加利福尼亚州旧金山 / 英国牛津 人物：OpenAI、菲尔兹奖得主 James Maynard（牛津大学）、Andreas Thom、Gábor Kun（匈牙利 Alfréd Rényi 数学研究所）、Francesco Fournier-Facio（剑桥大学） 事件详情：OpenAI 于 8 月 11 日正式公布，使用尚未发布的下一代主力模型 Astra 的内部版本，攻克了 10 个长期悬而未决的数学与理论计算机科学难题，覆盖高维球体堆积、纠错码、非 sofic 群构造、Connes 刚性猜想反证、算术电路复杂度下界、量子并行重复定理、最近向量问题近似硬度、Ehrhart 体积猜想、多色 Ramsey 数下界以及极值图论紧致性与退化性猜想等领域。其中"非 sofic 群存在性"被普遍视为最重要成果之一，论文附带 Lean 形式化证明，10 道问题求解所用 token 约合 2000 美元。 背景：早在今年 5 月，OpenAI 同一研究路径的模型已生成 Erdős 单位距离猜想的反证，激起学界震动。7 月起 OpenAI 因 Astra 网络安全能力突破关键阈值而暂停部分研发。本次是其首次将成果系统发布。10 道问题多数已沉寂十年以上，部分跨越数十年未解。 影响：数学界对 AI 加速发现普遍振奋，但对署名归属与人类贡献度分歧明显。剑桥大学 Francesco Fournier-Facio 等指出 OpenAI 原始声明弱化了 Andreas Thom 与 Gábor Kun 等数学家近年工作的奠基性贡献，OpenAI 随后修改措辞，将"分享'已开放且十年内无进展'的成果"改为"分享'解决或对长期开放问题取得重大进展'的成果"，但未发布更正说明。事件也再次触发"莱顿 AI 与数学宣言"签名者关于 AI 是否应被列为数学研究独立贡献方的讨论。 总结：OpenAI 用 Astra 一次性攻克 10 道长期数学难题，使 AI 在纯理论研究中的角色从辅助走向可能独立产出，但仍暴露"AI 贡献"如何与人类数学家成果合理署名的新难题。学界普遍认为，AI 加速数学发现的趋势已不可逆，但 AI 是否、何时以及如何成为数学研究的"独立作者"，仍是科学共同体未来数年的核心议题。 参考来源： - OpenAI 官方公告：https://openai.com/index/ten-advances-in-mathematics/ - The Verge 深度报道：https://www.theverge.com/ai-artificial-intelligence/977273/the-ai-takeover-of-mathematics-has-begun - The Verge 数学家访谈（Maynard 等）：https://www.theverge.com/ai-artificial-intelligence/977273/the-ai-takeover-of-mathematics-has-begun - Hacker News 讨论帖：https://news.ycombinator.com/item?id=39200001 - Nature 后量子密码学背景：https://www.nature.com/articles/d41586-026-01054-1 - 莱顿 AI 与数学宣言：https://leidendeclaration.ai/ - OpenAI Lean 形式化证明仓库：https://github.com/openai/ten-proofs - 5 月 Erdős 猜想反证背景：https://openai.com/index/model-disproves-discrete-geometry-conjecture/ - AIHOT 热点（评分 75）：https://aihot.virxact.com/news/the-ai-takeover-of-mathematics-has-begun - 36氪（中文转载）：https://www.36kr.com/p/3934339801759106