OpenAI 公开 722 篇数学手稿，覆盖 17 个方向
OpenAI 公开 722 篇由未发布模型生成的数学手稿，其中涉及黎曼猜想、BSD 猜想等名题，但多数结论尚待同行评审。
OpenAI 把内部一个未发布模型产出的 722 篇数学手稿一次性放上 GitHub，归入 372 个成果族，覆盖数论、几何、理论计算机、数学物理等 17 个方向；其中约六成附有 Lean（一种由计算机逐行校验证明的形式化语言）形式化，其余仍属未经同行评审的声称。
正文摘录
.jpg) 编辑｜Panda 今天上午，OpenAI 把一个尚未发布的内部模型产出的 722 篇数学手稿一次性放上了 GitHub。发布本身的来龙去脉、模型背景和数学界的争议，我们在[上一篇报道](https://mp.weixin.qq.com/s?biz=MzA3MzI4MjgzMw==&mid=2651061320&idx=1&sn=9ccf3204921b2620923ef26380fb3bb6&scene=21wechatredirect)里已经梳理过。这一篇换个角度，打开仓库，看看清单上到底有哪些成果。  仓库地址：https://github.com/openai/math 首先，有必要进行一些说明： 第一， 这 722 篇手稿被归入 372 个「成果族」，覆盖数论、几何、理论计算机、数学物理等 17 个方向 ，本文按方向挑出其中名气最大、牵涉问题最古老的一批来介绍。 第二， 清单里既有「证明」也有「证伪」 ，按我们的粗略检索，摘要中出现「证伪」「反例」字样的成果族约有 50 个，一些流传了半个多世纪的猜想是被推翻而不是被证明的。