OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明

OpenAI 发布了由内部前沿模型生成的 372 条数学结果，每条据称解决一个开放问题或取得实质进展，其中包含对重要计算机算法的改进以及与黎曼猜想相关的推进。结果托管在 GitHub 仓库中，附有修订日志和引用，部分证明提供了 Lean 形式化，以便机器校验、缓解人工评审压力。OpenAI 称几乎每条结果都来自对单个 AI 智能体的单次提示，平均消耗约三小时 ChatGPT Pro Thinking 算力，而此前一项 Navier-Stokes 问题的解需要 1 万个智能体组成的集群和数百万美元算力。公司未公布提示词，只给出平均算力成本，并称曾咨询高等研究院数学与人工智能咨询小组，但事先设定该小组只能就结果如何传播提建议，不能干预结果是否或多快产出。