722篇！OpenAI一次发布大量数学成果

◎ 科技日报记者 胡定坤

北京时间10月7日晨，OpenAI发布了一款内部前沿AI模型产生的大量数学成果。

OpenAI发布大量数学成果。图片来源：OpenAI社交媒体账号

具体来说，OpenAI在Github平台上一次发布了722篇数学手稿，并按照结果相关性将其划分为372个“结果族（Result Families）”，涵盖理论计算机科学、数论、几何、数学物理等17个领域。这些成果包括在准黎曼假设、Hilbert第十个问题、Mahler猜想、Kaplansky相关猜想等重要数学问题上的进展，部分成果已有Lean形式化证明。

OpenAI发布的“准黎曼假设”相关手稿截图。图片来源：OpenAI

OpenAI宣称，绝大多数结果均采用相同流程，使用尚未发布的内部模型获得，平均每个结果耗费相当于ChatGPT Pro三个小时的计算量。在评估过程中，该内部模型被提出了4000个数学问题。

原标题：《722篇！OpenAI一次发布大量数学成果》

阅读原文