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

📋总体概括

OpenAI于10月7日在GitHub一次性公开722篇AI生成的数学手稿，全部出自同一未公开的内部模型，覆盖数论、几何、概率、理论计算机等17个数学分支。其中最受关注的是AI声称解决了挂谷猜想的四维版本——而今年夏天，王虹刚因证明三维版本获得菲尔兹奖。OpenAI宣称模型累计尝试了约（原文截断未给全量）大量证明。这批手稿质量参差，被业内称为「屎山」，但数学家正从中挖掘有价值的思路，标志着AI正式闯入前沿数学研究领域。