文章摘要
人工智能实验室曝光未发布新模型Astra，定位为下一代核心主力模型。它首次亮相就给出10项长期悬而未决数学问题新解法，覆盖多个前沿领域，不乏里程碑式突破。该模型能支持长时复杂任务、协调多智能体工作。研究过程中，核心论证由其生成，还转化为形式化证书。它推动“机器参与科学发现”问题的探索，或开启人工智能新时代。

就在不久前，一家人工智能实验室在一份看似普通的数学研究公告中，悄悄曝光了一款尚未正式发布的全新模型——Astra。

官方对这款模型的定位相当低调，仅将其称为该实验室的下一代核心主力模型，但它的首次公开亮相就堪称惊艳：直接交出了10项长期悬而未决的数学开放问题的全新解法，这些问题中有不少已经沉寂超过10年，部分甚至已经数十年没有取得关键突破。

据行业观察的后续报道补充，该实验室的负责人已经在华盛顿向政策制定者与监管人士现场演示了Astra。这款模型能够支持长时间的复杂任务运行，可以协调多个智能体协同工作，攻坚大型科研项目与高等数学难题，甚至有望成为与现有主流模型类别并列的全新技术方向。

目前关于这款模型的最终命名、正式发布时间都还没有官方定论，有猜测认为它可能被命名为GPT-6或是GPT-5.7，相关信息均来自第三方媒体报道，尚未得到官方正式确认。

很多人可能会误以为Astra只是一款更擅长对话的聊天工具，但实际上它的定位远不止于此。这款模型更像是一个专业的科研协作伙伴，能够长时间开展探索性研究，协调多智能体完成复杂任务，还可以将研究结论通过形式化工具进行严谨验算。

本次公开的十项研究成果覆盖了多个前沿数学与理论计算机科学领域，包括高维球堆积、二进制与球面编码、非sofic群构造、Connes刚性猜想、算术电路复杂度、量子并行重复、最近向量问题、Ehrhart体积猜想、多色Ramsey数以及极值图论。

其中不乏具有里程碑意义的突破：首次实现了非sofic群的显式构造，成功推翻了Connes刚性猜想，解决了两项Erdős提出的经典数学问题，还给出了与后量子密码直接相关的全新研究结果。在编码理论方向，相关高维指数的研究成果更是实现了自1977、1978年以来的首次重大改进。

根据该实验室的公开说明，完成这10项研究解法所消耗的计算资源，按照当时的API价格估算有明确的成本区间。整个研究过程中，核心的数学论证由Astra生成，研究人员借助同一模型整理了完整的研究手稿，随后Astra又将每一项论证转化为可被机器逐步验证的Lean形式化证书，同时公开了每一个解法对应的模型推理过程。

很多人在看到这项成果时都感到难以置信。过去我们讨论大模型时，往往聚焦于它的答题准确率、代码生成速度这类标准化任务的表现，但Astra展示的能力已经跳出了“回答已知问题”的范畴，进入了没有标准答案的未知领域：它能够自主探索全新的研究路径，再将这条路径交付给形式化系统进行严谨验证。

这或许才是这项成果最让人兴奋的地方。70多年前，图灵提出了“机器能否思考”的经典命题，而如今Astra将这个问题向前推进了一大步：机器能否真正参与到科学发现的过程中？

从对话界面到科研实验室，这条跨越或许比模型最终的命名数字更加重要。我们或许正在见证人工智能发展的全新大时代。

相关官方链接：
https://openai.com/index/ten-advances-in-mathematics/
https://x.com/kimmonismus/status/2083484340512604323
https://x.com/chetaslua/status/2083323960171835392
以上内容不代表本平台立场，仅供读者参考