OpenAI 公开 722 篇 AI 生成数学论文，数学界称验证需数年
AI 产出数学成果的速度，第一次明显超过数学界理解与验证它的速度，而这次发布的验证覆盖率不足一半，成为学界新瓶颈。
OpenAI 在 GitHub 公开了 722 篇由内部未发布前沿模型生成的数学手稿，覆盖数论、代数几何、分析、组合数学等方向，部分附有 Lean 形式化证明。数学家普遍反映，仅读完约 40 页的目录和摘要就要近一小时，全部理解、验证并消化可能需要数年。
正文摘录
.jpg) 数学家可能真的遇到难题了：AI 产出新数学的速度，开始超过数学界理解数学的速度。 几天前，OpenAI 突然在 GitHub 上公开了一批由内部未发布前沿模型生成的数学[研究成果](https://mp.weixin.qq.com/s?biz=MzA3MzI4MjgzMw==&mid=2651061320&idx=1&sn=9ccf3204921b2620923ef26380fb3bb6&scene=21wechatredirect)，数量达到惊人的 722 篇。其中涉及数论、代数几何、分析、组合数学等多个方向，一些成果还配有 Lean 形式化证明。  仓库地址：https://github.com/openai/math 几天过去，数学界真正的麻烦出现了。 《The Verge》采访了 30 多位数学家。面对这场成果洪流，他们用「 令人震惊、压得人喘不过气、前所未有、恍如梦境、简直疯狂 」等来形容 OpenAI 带来的这场冲击。