OpenAI发布了第一批研究结果。 Astra，他们的下一代人工智能模型该公司在数学和理论计算机科学领域的十个未解难题上取得了进展。据该公司称，其中一些难题十多年来一直悬而未决，没有任何重大进展。该公告于2026年8月1日发布，在科学界引起了广泛关注，但许多研究人员呼吁在独立专家对结果进行审查之前保持谨慎。
这则广告与其他类似广告的不同之处在于： OpenAI不仅公布了结果，还公布了正式的演示过程。 在精益验证系统中，任何数学家都可以自动检查论证的正确性。此外，该公司还详细阐述了整个探索过程，包括249页的论证和62页的注释，在此类沟通中展现了非凡的透明度。
十个问题及其相关性
Astra 研究的问题涵盖了现代数学的各个领域，其中包括： 对康涅斯刚性猜想的反驳这一结果对算子代数具有重大影响，非索菲群的显式构造是群论中的一个基本问题。此外，还获得了高维球堆积问题的新上界，该问题在信息论和纠错码领域有着直接的应用。
在组合数学领域，Astra 解决了匈牙利数学家保罗·埃尔德什提出的三个问题：问题 146、180 和 183。其中最后一个问题与多色拉姆齐数有关，专家托马斯·布鲁姆称其为“所有问题中最令人惊讶的一个”。其他进展包括算术电路的新下界、量子博弈的并行重复定理，以及与后量子密码学相关的最近向量问题的近似难度结果。
成本和方法
OpenAI透露， 找到这些解决方案的总代币成本约为 2.000 美元。根据 Sol 的 API 收费标准，该费用不包含模型训练或人工研究工作。该流程结合了 Astra 的论证生成功能和专家意见，帮助将这些论证转化为清晰的文稿，并最终生成可自动验证的精益认证。
形式化是精益生产的关键：它允许任何有权访问软件的人逐步验证演示的逻辑正确性。然而， 数学家们仍然需要验证所使用的定义和假设是否与原问题相符。这是机器无法独立完成的任务。OpenAI已承诺负责修正这项工作，但尚未指定任何独立机构公开评估全部十个结果。
与深蓝的比较及必要的注意事项
一些媒体将这一里程碑事件与1997年“深蓝”战胜加里·卡斯帕罗夫相提并论，但专家指出： 数学比国际象棋更复杂。在游戏中，结果立竿见影；而在数学中，一个证明可能需要数月的同行评审才能被接受。此外，Astra 并未公开，因此外部研究人员无法复现该过程或确定模型的失败率。
OpenAI 此前曾有过看似正确的结果在专家审核后被证实错误的经历。2016 年 2 月，该公司提交了 First Proof 挑战赛的解决方案，后来承认其中一个方案是错误的。因此， 科学界坚持认为，这十项进展应该被视为有希望的，但并非最终结果。直到得到独立核实为止。
在欧洲，马德里理工大学和剑桥大学等高校的研究人员已表示有兴趣分析OpenAI发布的精益认证。人工智能参与生成新的数学知识的可能性引发了关于未来人类科学家角色的讨论，尽管该公司强调，在未来许多年里，结果的验证和背景解读仍将依赖于专家。
然而，Astra 的声明标志着一个转折点：人工智能不再局限于解决已知答案的问题，而是开始对前沿知识问题提出独到的见解。数学领域真正的“深蓝时刻”或许并非源于某个惊世骇俗的成果，而是循序渐进的，随着这些模型逐渐成为能够探索成千上万条路径并形式化此前任何研究人员都未曾验证过的结论的合作者。
