OpenAI 在 GitHub 公布 372 项 AI 生成的数学成果，挑战传统评审节奏

OpenAI 在 GitHub 公布内部前沿模型生成的 372 项数学成果，称每项旨在解决开放问题或取得实质进展。据 OpenAI，几乎每项成果来自对单个 AI 智能体的一次提示，部分需要多次尝试，平均消耗约 3 小时的 ChatGPT Pro Thinking 计算资源；许多证明附有 Lean 形式化版本。