OpenAI 宣布，其一款尚未发布的内部模型在数学和理论计算机科学的开放性问题研究上取得突破，累计生成 372 个解决方案或实质性进展。该公司表示，这些成果几乎全部由单个 AI 智能体通过单一提示词独立生成。
这一高效模式与此前 OpenAI 解决纳维-斯托克斯方程时的做法形成鲜明对比：后者动用了由一万个智能体组成的集群，并耗费了数百万美元的算力。目前，相关结果已在 GitHub 仓库中公开。
尽管数学家仍需数月时间梳理这些数据，以甄别其中的证明是包含新颖思想还是对现有技术的拼凑，但许多结果已通过 Lean（一种用于验证证明逻辑的编程语言）验证，其正确性基本得到确认。
在已披露的成果中，亮点包括四维卡凯雅猜想的解、对多项核心计算机算法的改进，以及在数学界极具挑战性的黎曼猜想方面取得的实质性进展。