核心突破

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

公布的10项结果包括：

  • 高维球堆积问题

  • 二元及球面编码问题

  • 非sofic群问题

  • Connes刚性猜想

  • 算术电路复杂度问题

  • 量子平行重复问题

  • 最近向量问题

  • Ehrhart体积猜想

  • 多色Ramsey数问题

  • 极值图论猜想


成本与验证

结果由Astra内部版本模型推演得出，求解计算成本约2000美元（按Sol API定价）。研究人员随后用同一模型辅助整理论文，并通过Lean形式化证明系统生成可验证证明。