OpenAI 发布大量 AI 生成数学成果，含准黎曼猜想相关突破

10 月 7 日 OpenAI 毫无预兆在 GitHub 发布名为 openai/math 的新仓库，放出内部未公开模型产出的 722 份数学手稿、372 组成果，覆盖数论、代数几何等诸多方向，若由人工完成仅上传论文就需 30 年。该模型以约 4000 个数学界未解决的开放问题为基础筛选出这些成果，单组成果平均仅需 3 小时 ChatGPT Pro 级别的算力，其中包含准黎曼猜想推进到 7/8、复数域矩阵乘法指数压至 2.25、解决挂谷猜想四维版本等重磅突破，单拎任意一项在过去都足以引发行业关注。文章科普了数学证明的独特属性、Lean 形式化验证工具的作用，梳理了从早期机器证明到近年 AI 逐步涉足前沿数学研究的发展脉络，也提及此前数学界 25 位菲尔兹奖得主联名指出 AI 公司将解题作为模型宣传标尺的做法与数学追求人类洞见的本质错位，呼吁留出学术消化时间，OpenAI 未回应相关诉求便直接发布这批成果的相关交锋。文章类比 AlphaGo 击败人类棋手后相关认知逐渐成为常识的过往，指出后续各学科将按「评判器」获取成本的高低依次迎来发展提速，数学和代码会最先爆发，后续是可模拟的领域，最后才是依赖实体实验的硬科学与人相关的医学等领域，未来人类将成为科研链条中最慢的一环。最后结合希尔伯特 23 个问题、哥德尔不完备定理等数学史内容，提出 AI 时代人类仍保有提问、理解、赋予意义这三项核心价值。