OpenAI Group PBC已发布722篇由其未公开人工智能模型生成的数学论文。部分论文于周二晚间上传至GitHub，内容涵盖约20个数学子领域。这些成果不仅证明了长期存在的假设，还对现有数学解释提出质疑，或缩小了复杂未解谜题的可能答案范围。
聚焦黎曼猜想与理论计算机科学
其中最引人注目的发现涉及黎曼猜想。这一超过150年的研究课题关乎素数分布模式，其证明被视为数学界最重要的挑战之一，因为大量后续研究均基于该猜想成立的假设。OpenAI的未公开AI模型虽未得出完整解答，但成功证明了被称为“准黎曼猜想”的关键部分。
理论计算机科学是另一大重点领域，相关论文逾80篇。其中三篇聚焦于矩阵乘法——AI数据处理的核心运算。尽管学界普遍认为矩阵乘法的加速空间有限，但OpenAI的模型对该极限进行了更清晰的定义。此外，模型还开发了一种新的整数乘法算法，进一步优化了这一程序基础构建模块的效率。
物理学突破与形式化验证
研究成果对物理学界同样意义重大。OpenAI发表了十余篇关于偏微分方程（PDEs）的证明，这些方程在芯片设计、架构及量子力学等领域至关重要。模型证明了与金属合金研究相关的德·乔治猜想（De Giorgi's conjecture）的一个版本，并澄清了工程师用于研究液体流动的纳维-斯托克斯方程的相关问题。此前在今年9月，该模型已解决了纳维-斯托克斯方程相关的另一个难题。
值得注意的是，新论文中包含大量Lean文件，这些代码片段使得利用计算机快速验证新证明成为可能。展望未来，OpenAI计划为更多论文发布Lean形式的证明，并打算资助专注于审查AI生成数学发现的研究活动和项目。