OpenAI表示，此前在推翻Erdos平面单位距离猜想后，这一内部推理模型在数学和理论计算机科学领域产出了10项经验证的成果。
OpenAI表示，其下一代AI模型Astra按Sol API定价计算，使用约2,000美元的算力，产出了涵盖数学和理论计算机科学的10项研究成果。该公司称，这些成果涉及高维球体堆积、编码理论、非sofic群、Connes刚性、量子并行重复和后量子密码学。8月1日的公告发布前，Astra已于5月20日在Erdos平面单位距离猜想上取得成果；当时该模型构造出对于无穷多个n，至少具有n^(1+delta)个单位距离对的配置，随后又将delta细化为0.014。OpenAI表示，外部数学家已验证这些新成果，Tim Gowers称这项工作是“AI数学领域的一个里程碑”。研究人员随后将这些工作整理成附带可验证Lean证明证书的论文；Lean是一种可检查数学证明的形式化验证系统。