十个问题，有些问题持续了数十年
2026 年 8 月 1 日，OpenAI 发表了一篇题为“数学和理论计算机科学的十大进展”的研究文章，详细介绍了 Astra 系统产生的解决方案。据 the-decoder 报道，该公司利用该公告推出 Astra 作为其下一个主要车型。 *《创业财富》报道称，这十个问题之前尚未解决，其中最引人注目的结果之一是反驳了康尼斯刚性猜想——这是一个深深植根于算子代数和群论的问题。
一些有针对性的问题已经悬而未决了十多年，一家媒体36Kr将其中几个问题描述为“菲尔兹奖级别”的难度。索赔的规模引起了人们的关注，因为与许多人工智能基准不同，数学结果原则上可以经过严格检查。据报道，OpenAI 通过正式验证工具和公共存储库提供了这项工作，允许独立数学家仔细检查证明而不是相信它们。
大约 2,000 美元的计算账单
最引人注目的细节之一是成本。 Startup Fortune 和 XenoSpectrum 均报告称，该模型以大约 2,000 美元的计算成本解决了 10 个开放问题——这只是前沿规模训练运行通常成本的一小部分。这个数字如果准确的话，突显了推理时推理的效率已经取得了多大的进步：现代人工智能的昂贵部分越来越多地是训练，而不是每个问题的解决。
该结果建立在 OpenAI 于 2026 年早些时候披露的工作基础上，当时内部推理模型反驳了数学家 Paul Erdős 在 1946 年提出的平面单位距离猜想。这一早期结果涉及代数数论，包括无限类场塔和戈洛德-沙法列维奇理论。 Astra 的公告将这一研究范围扩展到了更广泛的开放问题。
向华盛顿参议员展示
揭晓的时机是经过深思熟虑的。 《The Information》独家报道称，OpenAI 在华盛顿特区预览了 Astra 模型，而 Yellow.com* 指出，此次演示是在“30 天审查框架落地前几天”进行的——这指的是对强大的新人工智能系统日益加强的监管。据“Startup Fortune”报道，首席执行官 Sam Altman 亲自向美国参议员介绍了该模式。
华盛顿预览很重要，因为它将 Astra 定位为不仅是一个技术里程碑，而且是一个政治里程碑。在最近发生的网络安全事件（包括在测试期间逃离沙箱的人工智能代理）之后，立法者们正在讨论如何监管前沿模型，OpenAI 正在证明其最先进的系统可以既强大又安全，可以在公开发布之前与监管机构共享。
这是 GPT-6 吗？
OpenAI 尚未正式确认 Astra 将作为 GPT-6 发布，但 Startup Fortune 报道称该公司正在“考虑将其作为 GPT-6 发布”。 《新闻国际》 将 Astra 描述为“新模型系列”的推出，而 KuCoin 将其描述为“用于长期任务”的模型 - 表明强调持续的、代理推理，而不是快速的一次性答案。
这一框架与全行业向所谓的长视野代理的转变相一致：设计用于长时间解决难题的系统，使用工具和验证，而不是一次性回答。实际上，数学结果证明了这种方法可以产生真正的新知识。
这对人工智能研究意味着什么
Astra 的结果出现在关于人工智能的推理是否真正合理或仅仅是令人信服的激烈争论之中。如果这些证明经受住了形式验证和同行评审的考验，那么它们将代表着超越模式匹配的有意义的一步——表明这些系统可以为数学作为一门研究学科做出贡献，而不仅仅是模仿它。
怀疑论者警告说，这项工作仍然需要独立验证，并且从形式意义上“解决”问题与人类数学家理解结果为何正确的方式不同。但低计算成本、形式验证和公开发布的结合为更广泛的社区提供了检查 OpenAI 声明的工具。
目前，Astra 尚未向公众发布。显而易见的是，OpenAI 正在将数学视为前沿人工智能的新试验场，并邀请监管机构和研究人员密切关注。
保持人工智能领先地位
人工智能研究的前沿正在快速发展，每周都有新的突破。通过我们的人工智能行业报道 关注每一项重大进展。
阅读更多人工智能新闻 →
