8月1日OpenAI公布了一组新的数学与理论计算机科学研究成果。完成这些工作的是其尚未正式发布的下一代重要模型Astra的内部版本。按照OpenAI的说法这10项成果对应的都是长期开放问题涉及高维几何、编码理论、群论、量子复杂性、格密码学、极值组合等领域。这些问题的核心结果至少十年没有取得进展其中不少持续时间更长。从“会解题”到研究没有答案的问题过去AI展示数学能力常见形式是参加数学竞赛、解高难度题目或完成已有定理的证明。题目可能很难但答案通常已经存在模型要做的是找到正确的推导路径。开放问题则不同。研究者面对的本来就是“还不知道答案是什么”的问题没有标准答案也没有现成路线可以照着走。Astra这次展示的能力更接近在已有研究基础上寻找新的论证路径并产生此前没有的数学结果。AI开始更深地进入科研流程OpenAI披露的研究过程同样值得注意。核心数学论证由Astra生成后人类研究人员再使用同一模型将这些论证整理成论文随后模型又把每项论证形式化为Lean证书用形式化工具对证明进行检查。企业也特别说明数学论证本身由系统生成团队参与了论文整理和形式化工作并对结果的正确性负责。这意味着AI在科研中的角色正在发生变化。它不再只是帮助研究者搜索资料、总结论文或编写代码而开始进入寻找思路、形成论证和辅助验证等更核心的研究环节。当然这些成果刚刚公开后续仍需要数学界进一步阅读、复核和讨论Astra本身也尚未正式发布。但这次展示至少提供了一个新的观察角度大模型的能力竞争或许不再只是看它回答问题有多快、写代码有多强。当AI开始帮助人类推进那些原本没有答案的问题它在科研中的价值也可能被重新定义。
)
