OpenAI 今日宣布在数学与理论计算机科学领域取得十项突破性进展，这些长期困扰学界的难题中，部分核心问题已停滞研究超过十年。研究团队利用下一代核心模型 Astra 的内部版本完成计算，若按当前 Sol API 的费率估算，解决这些问题的总词元消耗成本约为 2000 美元（约合人民币 13530 元）。
在署名权争议方面，OpenAI 明确表示，若将完全由 AI 系统生成的数学证明标注为人类独立研究成果，不仅忽视技术贡献，更可能扭曲学术研究的本质。尽管人类研究员参与了论文撰写与 Lean 语言形式化验证，并承担最终正确性责任，但所有数学论证过程均由 AI 系统独立完成。
高维球体堆积领域取得关键突破，研究团队成功推导出新的密度上界，并将理论界限逼近 Cohn-Elkies 阈值。二进制码与球面码研究实现指数级进展，在任意最小距离约束下，二进制码的规模上限得到显著提升，高维球面码研究同步取得类似成果。
群论研究迎来重大突破，研究团队提出非柔性群构造方法，首次证实这类群体的存在性。在算术电路复杂性领域，积和式计算取得新突破，研究团队推导出阶数为 n⁴/log n 的算术公式下界。量子计算领域提出通用两方量子博弈的指数级平行重复定理，扩展了经典复杂性理论的基本原则。
密码学基础研究取得实质进展，最近向量问题的多项式因子近似困难度得到确立，为后量子密码学发展提供理论支撑。埃尔哈特体积猜想研究覆盖全维度空间，明确以凸体质心为唯一内部格点的凸体最大体积上限。多色拉姆齐数研究给出三角形拉姆齐数的超指数级下界，成功解决埃尔德什第 183 号问题。
极值图论研究取得双突破，紧凑性与退化性猜想研究同时解决埃尔德什第 146 号和第 180 号问题。康纳斯刚性猜想研究取得颠覆性成果，通过反例证伪了"特定群可由冯·诺依曼代数唯一确定"的长期猜想。这些研究成果已通过 Lean 语言完成形式化验证，确保数学论证的严谨性。
