OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明结果
OpenAI 发布由内部前沿模型生成的 372 个数学结果，每个结果被认为解决或实质性推进一个开放问题，内容包括计算机算法改进和与黎曼猜想相关的进展。结果以 Lean 形式化验证发布在 GitHub 而非学术期刊，平均每个结果消耗约三小时 ChatGPT Pro Thinking 算力；数学界反应分化，25 位 Fields 得主在公开信中警告大规模产出真命题可能损害数学的概念理解与洞察。
#推理
The DecoderAI 评分7575 The Verge · AI精选AI 评分7777 OpenAI 发布 722 份数学论文，称解决数百个开放问题
OpenAI 在 GitHub 仓库发布 722 份由未发布前沿模型产出的数学论文，覆盖 372 个结果族，据独立顾问组织 AGMAI 称包含对数百个开放问题的解答。发布内容含模型推理摘要、算力估算和尝试题目统计，OpenAI 称平均每个结果相当于三小时 ChatGPT Pro 思考量；此前 AI 实验室处理成果发布的方式已引发关于研究伦理和署名的激烈争论。
推荐理由：材料披露了发布规模、算力估算和学术界对发布方式的争议，有助于理解 AI 数学成果公开的规范之争。