科技日报记者 胡定坤
北京时间10月7日晨，OpenAI发布了一款内部前沿AI模型产生的大量数学成果。
具体来说，OpenAI在Github平台上一次性发布了722篇数学手稿，并按照结果相关性将其划分为372个“结果族（Result Families）”，涵盖理论计算机科学、数论、几何、数学物理等17个领域。这些成果包括在准黎曼假设、Hilbert第十个问题、Mahler猜想、Kaplansky相关猜想等重要数学问题上的进展，部分成果已有Lean形式化证明。
OpenAI宣称，绝大多数结果均采用相同流程，使用尚未发布的内部模型获得，平均每个结果耗费相当于ChatGPT Pro三个小时的计算量。在评估过程中，该模型被提出了4000个数学问题。
普林斯顿高等研究院数学与人工智能咨询小组（AGMAI）对此发布声明称，OpenAI发布了一系列由其内部模型生成的数学成果，报告了数百个未解问题的答案，这对数学界来说是一件意义重大的事件，其影响远不止于个别成果本身，而是波及整个数学领域和数学界。
AGMAI认为，此次发布仅仅是人类理解和将这项工作融入数学知识体系的开始，而非结束。该小组强调，数学研究的未来不能仅仅局限于理解AI实验室的成果，数学家必须能够提出自己的问题，发展自己的研究方法，并探索那些尚未被选为AI系统能力示例的研究方向。
网友评论
