OpenAI表示，其一个尚未发布的内部模型在数学和理论计算机科学领域产出了372项成果，这些成果要么解决了开放问题，要么使相关研究取得实质性进展。据Slashdot援引《科学美国人》报道，该公司称其中几乎所有结果都是由单个AI智能体在单个提示下生成的。这一方式与OpenAI此前解决纳维-斯托克斯问题的方案形成鲜明对比，后者由一个规模达1万个智能体的集群协作完成，耗费数百万美元算力。

OpenAI于美国东部时间下午6点在GitHub仓库中公布这些结果。报道称，这批成果数量庞大，数学家可能需要数月时间梳理和理解，包括判断这些证明是否包含新颖且重要的思想，还是主要由现有技术拼接而成。

不过，报道指出，其中许多结果已在Lean中通过验证。Lean是一种用于验证证明逻辑的编程语言，因此这些结果几乎可以确定是正确的。OpenAI声称的成果包括解决四维Kakeya猜想、改进世界上一些最重要的计算机算法，以及在数学中最令人望而生畏的问题黎曼假设上取得实际进展。

目前，数学界仍需时间评估这些成果的原创性和重要性。报道称，这一发布发生在一个已经受到冲击的领域，数学界正在消化这些结果。