ChainCatcher 消息，据官方消息，OpenAI 发布研究成果称，其下一代 AI 模型 Astra 在数学与理论计算机科学领域取得进展，涉及高维几何、编码理论、群论、量子复杂性、后量子密码学以及极值组合数学等领域，其公布的 10 项成果涉及：高维球堆积问题、二进制与球面编码问题、非 sofic 群问题、Connes 刚性猜想、算术电路复杂性问题、量子并行重复问题、最近向量问题、Ehrhart 体积猜想、多色 Ramsey 数问题、极值图论猜想。

据介绍，这些成果由内部版本的 Astra 模型完成推导，寻找解决方案所消耗的计算成本约为 2000 美元（按 Sol API 价格计算）。

随后，人类研究人员利用同一模型协助整理成论文，并通过 Lean 形式化证明系统生成可验证证明证书。