OpenAI近日公布，其下一代主要模型的一个内部版本在数学和理论计算机科学领域长期未解决的开放问题上取得了10项新成果。据OpenAI介绍，这些成果所使用的计算成本约为按照GPT-5.6 Sol API费率计算的2000美元token费用。这一数字凸显了AI在解决高难度科学问题时的效率潜力。

OpenAI表示，将发布这些手稿、正式的Lean证明证书以及推理过程说明，供数学家们审查这些结果，并在相关研究思路基础上进一步发展。此举旨在确保成果的可验证性，并促进学术界与AI研究社区的协作。

这些成果覆盖多个数学分支，包括球体堆积、编码理论、群论、量子复杂性、格密码学、极值组合学等领域。其中特别提到，成果包括证明非sofic群的存在性，以及对高维球体堆积界限取得指数级改进。这些问题的解决可能对密码学、编码理论等应用领域产生深远影响。

值得注意的是，OpenAI并未透露该内部版本的具体名称或发布时间，但强调其属于“下一代主要模型”。这一进展延续了AI在数学推理方面的突破趋势，此前已有多个模型在竞赛数学题上表现优异，但解决长期未解的开放问题尚属少见。

从行业角度看，AI在基础科学领域的应用正成为竞争焦点。OpenAI此举或旨在展示其模型在复杂推理上的能力，同时通过公开验证流程增强可信度。不过，这些成果仍需经过数学界的严格审查，其实际价值有待时间检验。对于关注AI技术边界的观察者而言，这一事件标志着AI从辅助工具向主动研究者的角色转变，但距离全面替代人类数学家仍有距离。