文章摘要
OpenAI近日在开源代码仓库公开了由其未正式发布的内部AI模型生成的722份数学研究手稿,共372个成果家族,覆盖17个数学分支,涵盖多个长期悬而未决的顶级数学难题解答,上线仅4小时就收获超4000星标。成果经三位菲尔兹奖领衔的独立顾问组审核,顾问组不对成果背书,强调评判权归全球数学界,该事件标志AI已开始批量产出研究级数学成果,引发学界广泛关注。

近期,全球AI领域传来重磅消息:某头部实验室将内部前沿模型生成的大批数学研究成果整体公开,全部上传至一个开源代码仓库,上线短短数小时就收获了超过四千个星标。

此次公开的并非单篇论文,而是总计722份手稿、372个成果家族,覆盖17个不同的数学分支领域。据介绍,这批成果全部由尚未正式发布的内部模型生成,平均每篇成果的生成需要消耗约三小时的专业算力资源。

覆盖全领域的重磅研究

这批研究成果涵盖了多个学界关注的顶级难题:比如针对拟黎曼猜想的完整推导、完整BSD公式的验证,解决了余秩≤1情形下的千禧年难题;还有有理数域上的希尔伯特第十问题的否定解答,证明不存在可以判定有理系数多项式是否存在有理零点的通用算法;此外还完成了Catalan常数的无理性证明,以及随机3-SAT阈值的可计算性论证、三维晶格渗流临界点无无限簇的核心猜想验证等。

其他领域同样不乏突破性进展:包括固定有限门集合上的精确量子分解、Toms–Winter猜想等多个长期悬而未决的问题都得到了明确解答。

成果家族与总览文档

所谓“成果家族”,指的是将相关研究打包整合的单元:每个家族包含一个核心主结果,配套完整的论证过程、推论延伸以及替代证明方案。该开源仓库的根目录下还附带了一份长达41页的总览PDF,开篇就展示了覆盖全数学领域的成果分布地图与详细分类说明。

学界顾问与严谨性保障

为确保这批研究成果的学术严谨性,该实验室在公开前曾咨询过普林斯顿高等研究院旗下的独立数学与AI顾问组AGMAI。这个顾问组的组建过程颇具深意:实验室最初邀请数位数学家组建外部顾问委员会,经多方商议后,团队决定成立完全独立的咨询团体,所有成员均不接受任何AI企业的报酬,且咨询服务面向所有前沿AI实验室开放。

顾问组阵容堪称豪华,由三位菲尔兹奖得主领衔,总计九位成员。针对此次成果公开,AGMAI在成果发布当日同步发表声明,措辞保持克制:担任顾问并不代表对研究结果或生成过程的认可;所有成果的评判权仅属于全球数学共同体;公开只是人类理解并吸收这些工作的第一步,而非研究的终点;同时强调,数学的未来不能仅仅停留在“理解AI产出的结果”,数学家必须保有提出自身研究问题、探索独立研究方向的自由。

行业震动与未来展望

目前尚无法确定这722篇手稿中有多少能经得住数学界的严格检验,但这个信号已经足够清晰:AI已经不再仅仅是能在数学竞赛中取得高分的“考生”,而是开始批量产出具备研究级别的学术成果。

接下来,AI领域与数学领域都将迎来密集的讨论与互动。此前,针对同类AI数学突破,菲尔兹奖得主陶哲轩曾接连作出回应:先是在2026年国际数学家大会上发表题为《人工智能时代的数学》的公开演讲,随后又联合25位菲尔兹奖得主在相关平台发布联名宣言,直指“人工智能正在摧毁数学本身”。

相关资源链接:

https://github.com/openai/math
https://x.com/OpenAI/status/2107596713791767021
https://agmai.org/
以上内容不代表本平台立场,仅供读者参考