OpenAI近日公布下一代模型Astra内部版本的研究成果，称其在数学和理论计算机科学领域取得10项突破，包括高维球堆积、编码理论、群论、量子复杂性等方向。OpenAI表示，这些成果所需推理token成本按API价格估算约2000美元，并已通过Lean形式化验证。

Astra是OpenAI正在研发的下一代模型系列，定位为更强的科学推理模型。公开信息显示，其内部版本具备处理长期开放数学问题、生成证明方案并进行形式化验证的能力。该模型尚未公开发布，被视为继o系列推理模型之后，OpenAI探索“AI辅助科学研究”的重要方向。