OpenAI 在 GitHub 发布 372 项 AI 生成数学证明
原标题：OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 摘要
OpenAI 在 GitHub 上发布了 372 项由内部前沿模型生成的数学成果，声称这些结果解决或推进了若干开放问题，涵盖计算机算法改进和黎曼猜想相关进展。多数结果仅需单次提示、单个智能体完成，平均消耗约三小时 ChatGPT Pro 算力，部分附有 Lean 形式化验证。OpenAI 选择 GitHub 而非同行评审期刊发布，并计划资助相关研讨会，此举在数学界引发分歧，25 位菲尔兹奖得主曾发公开信警告 AI 与数学目标存在严重错位。
正文节选
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up Key Points - OpenAI has published 372 mathematical results generated by an internal AI model. - The results are meant to solve or advance open problems, including improvements to computer algorithms and progress on the Riemann hypothesis. - Most results came from a single prompt to a single agent, with each one consuming about three hours of ChatGPT Pro compute on average. OpenAI has released a large colle