盘点 OpenAI 开源数学手稿中的 30 道经典难题

OpenAI 在 GitHub 开源了由内部未发布模型产出的 722 篇数学手稿，涵盖数论、几何、理论计算机等 17 个方向共 372 个成果族。文章盘点了其中涉及准黎曼猜想、霍奇猜想 CM 情形、唯一游戏猜想、Hadwiger 猜想反例等 30 道经典数学与理论计算难题。清单包含证明与约 50 个证伪反例，约六成成果附有 Lean 形式化证明，绝大多数尚未经过同行评审。