OpenAI公开内部模型数学成果

OpenAI 本周发布数百份高难数学问题的解答，称已咨询精英数学家顾问组，但未完全达到该顾问组提出的标准。普林斯顿高等研究院主办的数学与人工智能顾问组（AGMAI）9 月底发布准则，其首要要求是停止在专有模型上测试高难数学问题，而 OpenAI 明确表示正用开放研究问题评估其专有模型。

OpenAI 在 GitHub 仓库发布了内部前沿模型生成的 372 项数学结果，每项据称解决或显著推进了一个开放问题，其中包含对主要计算机算法的改进以及与黎曼猜想相关的进展。

OpenAI 通过博客、GitHub 仓库和推文发布了一批来自未公开内部前沿模型的数学成果，共 722 篇手稿、归入 372 个相关结果族，源自约 4000 个研究问题的评估，平均每个结果消耗约 3 小时 ChatGPT Pro 推理算力。

OpenAI 发布了一批由内部前沿模型产出的新数学结果，相关代码与结果已放在 github.com/openai/math。OpenAI 表示在发布方式上咨询了普林斯顿高等研究院数学与人工智能独立顾问组，并参考了其建议与公开推荐。Greg Brockman 转发该消息，称其指向加速科学发现并改善所有人的生活质量。

OpenAI 公开了 722 篇数学手稿，归为 372 组结果，全部出自一个尚未发布的内部模型，论文、源码和部分 Lean 证明已上传 GitHub。内容涉及准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数等，横跨 17 个方向，OpenAI 称模型共尝试约 4000 个研究问题，平均每项结果算力约相当于 ChatGPT Pro 思考 3 小时。

我们正在进入一个发现的新时代： https://openai.com/index/sharing-ai-progress-in-mathematics/

OpenAI 发布一批共 722 篇手稿，覆盖 372 个结果族，据新成立的独立顾问组织 AGMAI 称其中包含对数百个开放问题的解答，这些结果由一个未发布的前沿模型产出。

OpenAI 发布一批由内部前沿模型产出的数学结果，相关代码与内容托管在 github.com/openai/math。OpenAI 表示在发布过程中咨询了普林斯顿高等研究院数学与人工智能独立顾问组，并参考其建议和公开推荐来确定发布方式。

OpenAI 发布内部前沿模型在数学开放问题上的新结果，并在 GitHub 上公开 Lean 证明形式化与研究细节。