OpenAI再推数百项数学突破，震动数学界

在人工智能解决数学史上六大开放性难题之一的一个月后，OpenAI再次向已经处于震惊之中的数学界投下了一颗震撼弹——该公司宣布其全新的内部模型攻克了海量数学难题，且此次并未伴随数百万美元的高昂研发成本。

洪水闸门已经开启。紧随OpenAI的新型大语言模型创造二十年来最大数学突破之后，该公司一口气发布了来自同一模型的372项研究成果。OpenAI表示，每一项成果都解决或实质性推进了数学或理论计算机科学领域的重大开放性问题。

OpenAI于美东时间下午6点在一个GitHub代码库中公开了这些研究成果。面对这股信息洪流，数学家们可能需要数月时间来仔细解析和理解，包括判断这些证明究竟包含全新且重要的科学思想，还是仅仅对现有技术的重组。不过，许多成果已经在Lean（一种用于验证证明逻辑的编程语言）中通过了验证，因此其正确性几乎毋庸置疑。

据透露，此次宣称的成果包括四维Kakeya猜想（Kakeya conjecture）的解决方案、对世界上某些最重要计算机算法的改进，以及向数学界最令人畏惧的难题——黎曼猜想（Riemann hypothesis）迈出了实质性的步伐。