币圈界报道，OpenAI发布研究成果称，其下一代AI模型 Astra 在数学与理论计算机科学领域取得进展，涉及高维几何、编码理论、群论、量子复杂性、后量子密码学以及极值组合数学等领域，其公布的10项成果涉及：高维球堆积问题、二进制与球面编码问题、非sofic群问题、Connes刚性猜想、算术电路复杂性问题、量子并行重复问题、最近向量问题、Ehrhart体积猜想、多色Ramsey数问题、极值图论猜想。 据介绍，这些成果由内部版本的Astra模型完成推导，寻找解决方案所消耗的计算成本约为2000美元（按Sol API价格计算）。随后，人类研究人员利用同一模型协助整理成论文，并通过Lean形式化证明系统生成可验证证明证书。