OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明
OpenAI 发布 372 条由内部前沿模型生成的数学结果，每条据称解决或推进了一个开放问题，其中包含对重要计算机算法的改进以及与黎曼假设相关的进展。结果托管在 GitHub 仓库中并附修订日志和引用，部分证明提供了 Lean 形式化，OpenAI 称多数结果来自对单个 AI 智能体的单次提示，平均消耗约三小时 ChatGPT Pro Thinking 算力。
推荐理由：OpenAI 把 372 条 AI 生成的数学结果直接发在 GitHub 而非期刊，读者可据此观察学术评审流程与 AI 产出速度之间的张力。