# OpenAI 公布数学与理论计算机科学领域十项进展，Token 成本约 2000 美元

- 来源：IT之家（RSS）
- 发布时间：2026-08-01 16:23
- AIHOT 分数：71
- AIHOT 链接：https://aihot.virxact.com/items/cmsa5cyuf010erox0k1wdqz5y
- 原文链接：https://www.ithome.com/0/984/557.htm

## AI 摘要

OpenAI 官方公布了在数学与理论计算机科学领域的十项进展，这些均为至少十年未解的难题，由下一代核心模型 Astra 的内部版本计算得出，按 Sol API 费率计算总 token 成本约 2000 美元。人类研究员协助撰写论文手稿并在 Lean 语言中完成形式化验证，但数学论证本身均由 OpenAI 系统生成。OpenAI 认为，完全由 AI 生成的证明不应被声称为人类独立撰写。

## 正文

IT之家 8 月 1 日消息，OpenAI 官方今日公布了在数学与理论计算机科学领域的十项进展，这些问题此前一直悬而未决，其核心研究在至少十年（多数情况下甚至更久）的时间里未曾取得任何实质性进展。

据悉，这些成果由 OpenAI 的下一代核心模型 Astra 的内部版本计算得出。若按 Sol API 的费率计算，寻找这些问题解决方案所需消耗的总词元 (tokens) 成本约为 2000 美元（IT之家注：现汇率约合 13530 元人民币）。

OpenAI 认为，署名权应当如实反映研究成果的产生过程：如果一项完全由 AI 系统生成的证明被声称为人类独立撰写，这不仅抹杀了该系统的贡献，也扭曲了真正人类智力劳动的本质。

据介绍，人类研究员协助撰写了论文手稿，并在 Lean 语言中对这些证明进行了形式化验证，对其正确性负责；然而这些数学论证本身均由 OpenAI 的系统生成。

IT之家附十项进展简要介绍如下：

高维球体堆积 (High-dimensional sphere packing)：给出了球体堆积密度新的上界，并将其界限收紧至 Cohn-Elkies 阈值 (Cohn-Elkies threshold)。

二进制与球面码 (Binary and spherical codes)：在任意给定的最小距离下，对二进制码最大规模的界限实现了指数级的改进，并在高维球面码上取得了类似的结果。

非柔性群 (Non-sofic groups)：提出了一种构造方法，证明了非柔性群的存在性，从而解答了群论中的一个核心未解问题。

康纳斯刚性猜想 (Connes's rigidity conjecture)：证伪了一个长期存在的猜想，即某些群可由它们的冯 · 诺依曼代数 (von Neumann algebras) 唯一确定。

算术电路复杂性 (Arithmetic circuit complexity)：在利用算术电路与公式计算积和式 (permanent) 方面得出了新的下界，其中包含一个阶数为 n4/log n 的算术公式下界。

量子平行重复 (Quantum parallel repetition)：提出了一种适用于通用两方量子博弈 (two-player quantum games) 的指数级平行重复定理，扩展了经典复杂性理论中的一项基本原则。

最近向量问题 (Closest vector problem)：确立了最近向量问题在多项式因子上的近似困难度 (hardness of approximation)，这是一个与后量子密码学 (post-quantum cryptography) 相关的基础格问题。

埃尔哈特体积猜想 (Ehrhart's volume conjecture)：在所有维度中，确定了以此凸体质心为唯一内部格点的凸体可能拥有的最大体积。

多色拉姆齐数 (Multicolor Ramsey numbers)：给出了多色三角形拉姆齐数的超指数级下界，解决了埃尔德什问题 183 (Erdős problem 183)。

极值数猜想 (Extremal number conjectures)：在极值图论 (extremal graph theory) 中的紧凑性与退化性猜想上取得了新成果，解决了埃尔德什问题 146 和 180。