OpenAI发布Astra模型：在数学和理论计算机科学取得十项重大突破
OpenAI发布Astra模型：在数学和理论计算机科学取得十项重大突破
8月1日，OpenAI公布下一代模型Astra的研究成果，在高维几何、编码理论、群论等领域解决了十个长期悬而未决的数学难题。
8月1日，OpenAI发布重大研究成果，其下一代大模型Astra在数学和理论计算机科学领域取得十项突破性进展，解决或实质性推进了多个长期悬而未决的公开问题。这些成果涵盖高维几何、编码理论、算术电路复杂性、群论、算子代数、量子复杂性、格密码学和极值组合学等多个领域。
据介绍，这些证明由内部版本的Astra模型生成，寻找解决方案所需的token总成本按Sol API费率计算约为2000美元。随后由人类研究者使用同一模型整理成论文，并将每个论证在Lean证明助手中形式化验证。OpenAI同时发布了每个解决方案的模型思考过程叙述。
十项重大突破包括：
- 高维球堆积：将球堆积密度的上界改进至Cohn-Elkies阈值
- 二进制和球面编码：在任意规定最小距离下，二进制编码最大大小的指数级改进界
- 非sofic群：构造证明了非sofic群的存在性，解决了群论核心公开问题
- Connes刚性猜想：证否了关于某些群由其冯·诺依曼代数唯一确定的长期猜想
- 算术电路复杂性：永久式计算的新下界，包括n⁴/log n阶的算术公式下界
- 量子并行重复：通用双人量子博弈的指数并行重复定理
- 最近向量问题：格密码学基础问题的多项式因子近似困难性
- Ehrhart体积猜想：确定各维度中质心为唯一内格点凸体的最大可能体积
- 多色Ramsey数：多色三角形Ramsey数的超指数下界，解决Erdős问题183
- 极值数猜想：极值图论中紧致性和退化性猜想的结果，解决Erdős问题146和180
OpenAI强调，AI系统能够为数学研究做出贡献的时代已经到来，但研究成果的归属应诚实反映产出过程。公司已将所有证明在GitHub上以Lean证书形式开源，供数学界验证和进一步研究。