刚刚，OpenAI向数学领域投下了一颗重磅炸弹，发布了722篇未公开的数学手稿。这些论文源自一个尚未发布的内部模型，并被归类为372组结果。根据OpenAI的介绍，该模型尝试了解约4000个研究问题，平均每个结果消耗的算力相当于ChatGPT Pro运行3小时的时间。论文、源代码以及部分Lean证明均已上传至GitHub。内容涵盖了著名的黎曼猜想、霍奇猜想、BSD猜想等多项数学难题，涉及了数论、代数几何、理论计算机、统计力学等17个方向。

在这722篇手稿中，有一些引人注目的成果。比如，关于“准黎曼猜想”的研究得出的结论是，黎曼ζ函数和所有狄利克雷L函数在实部大于7/8的区域内没有零点，这一发现显著推移了零点可能存在的范围。此外，OpenAI还提出了关于希尔伯特第十问题有理数域版本的结论，表明不存在通用算法来判断这些多项式是否有有理数解。

还有其他千禧难题的相关成果，如伯奇和斯温纳顿-戴尔猜想（BSD猜想）及霍奇猜想。这些研究连接了椭圆曲线的有理点和相关函数，展示了新的公式和结果。在常数问题方面，一篇论文声称证明了π的无理性指数为2，而另一篇则确认卡塔兰常数是无理数。 球友会

除了这些知名的数学问题，OpenAI还涉及了独特的课题，包括稀疏自旋玻璃和量子领域的研究。整体来看，这些论文平均每项结果的计算成本与ChatGPT Pro相当，展现了强大的计算能力和研究深度。然而，数学界对此反响不一，许多数学家表示难以消化如此多的文献。722篇手稿的上线引发了广泛讨论，也让人期待后续的研究展望。