OpenAI 在 GitHub 公开 372 项 AI 生成的数学证明

OpenAI 在 GitHub 上公开了由内部前沿模型生成的 372 项数学成果与证明，涵盖计算机算法改进及与黎曼猜想相关的进展。大部分成果由单提示词驱动的单 agent 产出，平均每项消耗约 3 小时 ChatGPT Pro Thinking 算力，并提供 Lean 形式化代码以利于机器验证。此举绕过了传统学术期刊评审，引发了菲尔兹奖得主等学术界人士对人类数学理解深度与研究生态的担忧。