OpenAI 公布 722 篇数学手稿:准黎曼猜想、4D 挂谷猜想均在列
10 月 7 日 OpenAI 毫无预兆在 GitHub 发布名为 openai/math 的新仓库,放出内部未公开模型产出的 722 份数学手稿、372 组成果,覆盖数论、代数几何等诸多方向,若由人工完成仅上传论文就需 30 年。该模型以约 4000 个数学界未解决的开放问题为基础筛选出这些成果,单组成果平均仅需 3 小时 ChatGPT Pro 级别的算力,其中包含准黎曼猜想推进到 7/8、复数域矩阵乘法指数压至 2.25、解决挂谷猜想四维版本等重磅突破,单拎任意一项在过去都足以引发行业关注。文章科普了数学证明的独特属性、Lean 形式化验证工具的作用,梳理了从早期机器证明到近年 AI 逐步涉足前沿数学研究的发展脉络,也提及此前数学界 25 位菲尔兹奖得主联名指出 AI 公司将解题作为模型宣传标尺的做法与数学追求人类洞见的本质错位,呼吁留出学术消化时间,OpenAI 未回应相关诉求便直接发布这批成果的相关交锋。
