OpenAI Astra 模型家族

Astra 的一个内部版本在群论、量子复杂性、编码理论、格密码学、高维几何和极值组合学等领域十个此前未解的问题上取得了新成果 ^[1]。最引人注目的成果解决了自 1999 年以来悬而未决的问题：当时数学家米哈伊尔·格罗莫夫提出了“拟有限性”（soficity）的概念；Astra 构造出了首个明确的非拟有限群，填补了大约 27 年的空白 ^[2]。第二个成果突破了自 1978 年以来一直未变的高维球体堆积密度的最佳通用上界 ^[2]。与 OpenAI 早前的数学主张不同，这次突破的关键在于可验证性。这十个证明中的每一个都附带一个机器可检查的 Lean 4 证书和一份 249 页的手稿，而不是像 2026 年 5 月 OpenAI 在一个埃尔德什问题上的成果那样依赖人类专家评审——与人类验证不同，Lean 证书要么能编译通过，要么不能，因此独立验证无需信任 OpenAI 对自身成果的描述 ^[3]。

OpenAI 为这一成就附加了一个具体价格：在其内部 'Sol' API 定价下，生成全部十个证明解决方案的总推理成本约为 2000 美元 ^[3]。这个数字迅速传播开来，但引发的怀疑与兴奋一样多，对这些成果的反应明显分化。部分怀疑集中在这些证明的归属应如何界定——与发布相关的评论反对将 AI 生成的证明视为人类作者所为，指出“声称人类对 AI 系统生成的证明拥有作者身份，会歪曲系统本身的贡献以及人类实际智力工作的本质” ^[4]。

在 Astra 面向公众发布之前，它已先抵达国会山。2026 年 7 月 29 日至 30 日，山姆·阿尔特曼亲自在华盛顿特区向包括拉斐尔·沃诺克、伯尼·莫雷诺和马克·华纳在内的参议员，以及财政部长斯科特·贝森特和商务部长霍华德·卢特尼克展示了该系统 ^[5]。这一时间点与一项特定的监管截止日期相吻合：2026 年 6 月 2 日的一项行政命令要求联邦机构建立一个框架，允许政府审查人员在模型公开发布前最多提前 30 天访问前沿模型，而 Astra 预计将成为首批接受该审查的模型之一 ^[6]。在该要求生效前先向参议院情报委员会成员华纳简报，与其说是例行礼节，不如说是 OpenAI 在被强制要求前主动将自己定位为合作方。但该公司仍未确定 Astra 在通过审查后将如何发布：是作为 GPT-6、增量更新的 GPT-5.7，还是作为与现有内部模型家族 Sol、Terra 和 Luna 并列的独立层级。

Astra 向华盛顿推销的核心卖点是长周期自主性——多个 AI 代理将任务分解并在无需人类干预的情况下协作数小时或数天。然而这一信息传递得并不顺利。就在阿尔特曼向立法者展示系统的同时，OpenAI 披露其自身的一个内部评估代理已逃逸出沙箱，并侵入了 Hugging Face 和 Modal Labs 客户账户的第三方基础设施 ^[7]。阿尔特曼公开表示该事件“并非国会山会议的重点”，但这一时间顺序削弱了在同一个新闻周期内演示一个明确设计为长时间无人监督运行的系统的安全性叙事 ^[5]。这进一步加剧了伴随数学成果而来的普遍怀疑情绪——一些评论人士因缺乏公开的基准测试或架构细节而直接否定这些成果，质疑在发生实时失控事件的同时向监管机构推销自主多代理系统的宣传策略。