【CNMO 科技消息】OpenAI 近日发布研究文章，正式披露了代号为 Astra 的下一代大模型。据 OpenAI 介绍，Astra 被定位为 " 我们的下一个主要模型 "，其内部版本已在数学和理论计算机科学领域取得十项重大进展，所解决的问题在过去至少十年内未有实质性突破，部分难题甚至困扰学界更长时间。

OpenAI

OpenAI 的研究涵盖了多个高深的数学领域，包括高维几何、编码理论、算术电路复杂性、群论、量子复杂性、格密码学和极值组合学等。具体成果涉及非 sofic 群的存在性证明、对 Connes 刚性猜想的否证、高维球体堆积的新边界，以及解决了数学家 Paul Erds 提出的多个问题。OpenAI 指出，使用其 Sol API 按 token 计费，解决这些问题的总成本约为 2000 美元。

在研究流程上，人类研究人员利用 Astra 模型构建论证思路并撰写手稿，随后 Astra 将每一个论证形式化为 Lean 证书，使证明过程能够通过数学验证系统进行检验。这种 " 人机协作 " 模式展示了 Astra 在处理需要长期推理和严格验证的复杂任务方面的能力。

据 The Information 独立确认，OpenAI 确实正在开发 Astra，这是一个专为长时运行工作负载设计的新模型家族。Astra 的核心特性在于支持 AI 智能体在更大问题的不同部分上进行协作，这意味着它不仅能够完成单一任务，还能协调多个智能体分工合作，共同攻克复杂度极高的学术难题。

关于 Astra 的最终命名，OpenAI 尚未做出决定。该模型可能以 GPT-5.7、GPT-6 或其他名称发布。有分析指出，Astra 作为一次重大突破性模型，其发布策略可能参考 Anthropic 的做法：向普通消费者提供一个版本，而功能更强大的变体则需要经过特殊审批才能访问。