OpenAI称Astra在数学与理论计算机科学取得10项研究进展

ChainCatcher 消息，据官方消息，OpenAI 发布研究成果称，其下一代 AI 模型 Astra 在数学与理论计算机科学领域取得进展，覆盖高维几何、编码理论、群论、量子复杂性、后量子密码学以及极值组合数学等方向。

Astra 涉及的 10 项研究成果

OpenAI 公布的 10 项成果包括：高维球堆积问题、二进制与球面编码问题、非 sofic 群问题、Connes 刚性猜想、算术电路复杂性问题、量子并行重复问题、最近向量问题、Ehrhart 体积猜想、多色 Ramsey 数问题，以及极值图论猜想。

计算成本与论文整理方式

据介绍，这些成果由内部版本的 Astra 模型完成推导，寻找解决方案所消耗的计算成本约为 2000 美元，按 Sol API 价格计算。随后，人类研究人员利用同一模型协助整理成论文，并通过 Lean 形式化证明系统生成可验证证明证书。