Astra还没发布，OpenAI先公布了10项数学研究新结果——赛柏特AI快讯

8月1日，OpenAI公布了一组新的数学与理论计算机科学研究成果。完成这些工作的，是其尚未正式发布的下一代重要模型Astra的内部版本。

按照OpenAI的说法，这10项成果对应的都是长期开放问题，涉及高维几何、编码理论、群论、量子复杂性、格密码学、极值组合等领域。

这些问题的核心结果至少十年没有取得进展，其中不少持续时间更长。

从“会解题”到研究没有答案的问题

过去AI展示数学能力，常见形式是参加数学竞赛、解高难度题目或完成已有定理的证明。题目可能很难，但答案通常已经存在，模型要做的是找到正确的推导路径。

开放问题则不同。

研究者面对的本来就是“还不知道答案是什么”的问题，没有标准答案，也没有现成路线可以照着走。

Astra这次展示的能力，更接近在已有研究基础上寻找新的论证路径，并产生此前没有的数学结果。

AI开始更深地进入科研流程

OpenAI披露的研究过程同样值得注意。

核心数学论证由Astra生成后，人类研究人员再使用同一模型，将这些论证整理成论文；随后，模型又把每项论证形式化为Lean证书，用形式化工具对证明进行检查。

企业也特别说明，数学论证本身由系统生成，团队参与了论文整理和形式化工作，并对结果的正确性负责。

这意味着，AI在科研中的角色正在发生变化。它不再只是帮助研究者搜索资料、总结论文或编写代码，而开始进入寻找思路、形成论证和辅助验证等更核心的研究环节。

当然，这些成果刚刚公开，后续仍需要数学界进一步阅读、复核和讨论，Astra本身也尚未正式发布。

但这次展示至少提供了一个新的观察角度：大模型的能力竞争，或许不再只是看它回答问题有多快、写代码有多强。

当AI开始帮助人类推进那些原本没有答案的问题，它在科研中的价值也可能被重新定义。