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

OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 个全新数学证明，涵盖计算机算法改进和黎曼猜想相关进展。这些结果大多由单一 AI 智能体生成，并采用 Lean 语言进行形式化验证以缓解人工审查瓶颈。此举绕过了传统的学术期刊同行评审，引发了多位菲尔兹奖得主对 AI 批量生成证明可能破坏数学概念理解的担忧。