OpenAI倒了一座“屎山”，数学家正捏着鼻子在里面淘金

📋总体概括

10月7日，OpenAI在GitHub一次性公开722篇数学手稿，全部出自一个从未公开的内部模型，覆盖数论、几何、概率、理论计算机等17个数学分支。其中最引人注目的是，AI宣称解决了挂谷猜想的四维版本——而三维版本今年夏天刚让王虹获得菲尔兹奖。这批手稿被数学界称为需要人工淘金的「屎山」：数量庞大、质量参差，需要数学家逐一验证甄别。这是AI介入前沿数学研究的标志性事件，也引发了对AI数学成果可信度与验证机制的激烈讨论。