OpenAI发布大量数学研究成果 引发学界广泛关注

北京时间10月7日，OpenAI在Github平台上公布了一批由其内部前沿AI模型生成的大量数学成果，引起了学术界的广泛关注。

据了解，OpenAI此次共发布了722份手稿，划分为372个系列。每个系列围绕相关论文展开，内容可能涵盖主要结果、相关论证、推论或替代证明，并按数学学科进行分类。这些数学成果涉及米尔恩理性猜想与代数特化、准黎曼假设、希尔伯特第十问题等多个重要数学方向。

OpenAI在文章中表示，绝大多数结果都是通过相同流程获得的，使用的是尚未公开的内部模型。平均每个结果消耗该模型约三个小时的ChatGPT Pro思维计算时间。在评估过程中，模型被提出约4000个问题。通过将输出结果汇总为结果族和论文，并设定适当的显著性水平，最终形成了上述目录。不过，也有例外情况，包括黎曼zeta函数无零区域的研究以及CM阿贝尔簇的霍奇猜想证明。此外，关于黎曼zeta函数Re(s)>11/12无零区域的论文经过了人工编辑，以提升可读性。

为了推动科学透明度和开放性，OpenAI在代码库中公开了更多关于结果获取过程的细节，包括10个模型推理过程的总结、基于ChatGPT Pro使用时长估算的计算量，以及尝试解决问题数量的统计数据。

OpenAI强调，为改进与数学界分享研究成果的方式，团队一直在向普林斯顿高等研究院的独立数学与人工智能咨询小组（AGMAI）寻求咨询。团队参考了该小组的建议和公众意见，以制定最佳实践，了解如何发布这些结果。

AGMAI顾问成员表示，正如几周前所宣布的，OpenAI发布了一系列由其内部模型生成的数学成果，解答了数百个未解之谜。这对数学界而言意义重大，其影响不仅限于个别成果，而是涉及整个数学领域和数学界。

AGMAI同时指出：“AGMAI的咨询角色不应被解读为对这些结果影响的评判，也不应被解读为对OpenAI获取这些结果过程的认可。我们并不代表整个数学界，只有数学界才能进行必要的评估。”该小组还强调，此次发布只是人类理解和将这项工作融入数学知识体系的开始，而非终点。同时，数学研究的未来不能仅仅局限于理解人工智能实验室的成果。数学家必须能够提出自己的问题，发展自己的研究方法，并探索那些尚未被选为人工智能系统能力示例的研究方向。

OpenAI表示：“作为我们GitHub代码库的一部分，我们分享了许多用Lean编写的证明的形式化表示。Lean是一种编程语言，允许计算机验证数学证明。我们将随着获得更多形式化表示而更新代码库。”OpenAI还称，本次发布将结果发布在GitHub代码库中，并制定了论文修改和引用的相关规范。团队也在继续探索其他符合委员会准则的社区托管方案。未来版本中，OpenAI将致力于通过改进引用、数学阐述和结果呈现方式，进一步提升论文质量，以利于读者理解。