搜索
722篇！OpenAI一次发布大量数学成果
1 小时前
/ 阅读约1分钟
来源：集微网
OpenAI在Github发布722篇数学手稿，划分为372个结果族，涵盖17个领域，包括重要数学问题进展，部分有Lean形式化证明，结果由未发布内部模型获得，评估中提出4000个数学问题。
北京时间10月7日晨，OpenAI发布了一款内部前沿AI模型产生的大量数学成果。
具体来说，OpenAI在Github平台上一次发布了722篇数学手稿，并按照结果相关性将其划分为372个“结果族（Result Families）”，涵盖理论计算机科学、数论、几何、数学物理等17个领域。这些成果包括在准黎曼假设、Hilbert第十个问题、Mahler猜想、Kaplansky相关猜想等重要数学问题上的进展，部分成果已有Lean形式化证明。
OpenAI宣称，绝大多数结果均采用相同流程，使用尚未发布的内部模型获得，平均每个结果耗费相当于ChatGPT Pro三个小时的计算量。在评估过程中，该内部模型被提出了4000个数学问题。
