OpenAI 大规模公开 AI 产出的数学成果

摘要

OpenAI 将内部前沿模型生成的一批新数学成果发布到 GitHub 仓库,并附带可用计算机验证证明的 Lean 形式化版本、10 份模型推理摘要以及算力估算(平均每项成果约相当于 3 小时 ChatGPT Pro 思考)。发布方式参考了高等研究院 AGMAI 顾问组的公开建议,公司表示正在准备以负责任的方式发布产出这些成果的模型。相关成果和数字来自该公司自己的公告。

与我们工作的关联

当 AI 承担重复性探索和证明尝试后,数学家和研究者可以把精力集中在验证与解读上。这个案例展示了人机分工在研究工作中已经达到的程度。

本文译自韩文原文。 摘要可能经过翻译和编辑。评论是我们的解读，未来预测代表来源的观点。