OpenAI 在 GitHub 发布 722 篇数学手稿，声称解决 372 个未解问题

OpenAI 在 GitHub 创建名为 math 的仓库，上传 722 篇数学预印本手稿，声称解决了 372 个长期未解的数学问题，涉及准黎曼猜想和霍奇猜想的部分情形。OpenAI 称这些证明由其内部模型平均 3 小时内完成，并附带了 Lean 形式化验证。批量发布引发数学界对学术礼仪和 AI 抢夺研究成果的争议。