OpenAI一次性公开数百项AI数学成果
报价宝综合消息OpenAI一次性公开数百项AI数学成果
距离用AI解开纳维-斯托克斯方程这类「二十年最大数学突破」才过去一个多月，OpenAI又往数学界扔下一大批「作业」。该公司在美东时间周一晚间将数百项新数学研究成果集中发布在GitHub代码仓库中，称其中每一项都解决或实质性推进了数学或理论计算机科学中的一个重大未解问题。
这批成果的「含金量」硬指标是可验证性：相当一部分证明已用Lean形式化——这是一种能逐行校验证明逻辑的编程语言——因此基本可以确认成立。OpenAI还附上了论文修订与引用规范，以及单份成果的算力统计：平均每项消耗的算力大致相当于ChatGPT Pro三小时的深度推理。
最大的爆点在于成本。OpenAI发言人对《科学美国人》表示，新模型（尚未对外发布）几乎凭「单条提示交给单个智能体」就产出了这些成果——而此前的纳维-斯托克斯解法动用了上万个智能体协作、耗资数百万美元。若属实，意味着顶级数学能力很快就能普惠到任何普通用户。
数学界并未照单全收。麻省理工学院数学家安德鲁·萨瑟兰直言：在模型发布、外人可复现结果之前，对「单个智能体一次做成」的说法都应视为未经证实，「我们该要收据」。OpenAI上个月刚宣布组建由数学家组成的独立顾问组，后者建议公开模型、提示词与算力，但OpenAI此次只公布了平均算力与部分统计，并未公开提示词。
围绕纳维-斯托克斯成果发布方式的争议尚未平息，数学家们也担心：是成堆倾倒缺乏解释的证明对学界伤害更大，还是干脆捂着不发？OpenAI称无法放慢节奏——这些发布本身就是检验其AI能力增长的关键测试。
编译自 Scientific American，原标题："OpenAI unleashes hundreds more math results upon a field already in shock"
