OpenAI 在 GitHub 发布 AI 数学结果

OpenAI 在 GitHub 开源仓库（https://github.com/openai/math）发布由内部未发布前沿模型得出的一系列新数学结果，并咨询了普林斯顿高等研究院的数学与人工智能独立顾问小组。多数结果采用同一流程，平均每项结果使用约三小时 ChatGPT Pro thinking 算力，评估期间模型共被提出约 4,000 个问题。

和今天其他发布完全无关，但我们的模型确实解决了一些重要的数学问题，团队在下面这篇博客里做了记录。科学进步的新时代，令人瞩目。 https://openai.com/index/sharing-ai-progress-in-mathematics/

OpenAI 在 GitHub 发布由一个未公开内部前沿模型产出的 722 篇数学手稿，整理为 372 个相关结果族，出自约 4000 个研究问题的评估。发布包含论文、证明材料和部分推理摘要，并与高等研究院的独立咨询小组沟通了发布方式；标准流程每个结果平均使用三小时 ChatGPT Pro 思考算力，部分结果尚无 Lean 形式化，模型本身未发布。

OpenAI 发布由其内部前沿模型产出的一批新数学成果，并在 GitHub 开放相关内容。发布方式参考了 IAS 数学与人工智能独立顾问组的建议和公开推荐。

据 WIRED 报道，OpenAI 告知相关人员计划周二在 GitHub 上发布数百项针对未解数学问题的结果，属于今年数万个 AI 生成数学解答的一部分。@AndrewCurran_ 补充称其中部分可能相当重要，前一晚大量论文集中发布被认为是研究者抢在其前发表。作者本人称这是正在见证历史，属其个人评价。