打开网易新闻 查看精彩图片

OpenAI大规模释放AI数学成果引发学界震动

2026年10月9日，据科技媒体The Verge报道，OpenAI于本周向数学界一次性发布了近400项由AI生成的数学研究成果，涵盖超过700份手稿，内容横跨组合数学、几何学、数论、理论计算机科学、代数、拓扑学、概率论与统计物理及数学物理等多个领域。三十余位数学家在接受The Verge采访时用"令人震惊""难以承受""前所未有""超现实""纯粹的疯狂"等词汇形容这次发布。面对如此庞大的成果数量，学者们普遍认为，理解OpenAI所释放的内容本身就可能耗费数年时间。

验证工作严重不足引发质量担忧

OpenAI此次发布提供了GitHub仓库托管，但其中仅约300份手稿（占总数719份的42%）完成了Lean语言的计算机辅助形式化验证。OpenAI表示"许多但并非全部"手稿已经形式化，并称将持续补充。多位数学家指出，即便附带了Lean代码，验证过程同样耗时——研究者需要确认形式化证明是否真正支撑了论文中的论断，而对部分已完成形式化的论文，存在质量参差不齐、与手稿内容无法对应的问题。伦敦帝国理工学院教授Kevin Buzzard表示，他所在领域（代数数论）能够立即引起注意的定理仅有大约六项，几乎没有通过Lean验证。

成果触及多个重大数学难题

尽管存在种种质疑，多数数学家承认此次发布中包含真正高质量的工作。在前AI时代，其中的许多成果足以在高水平期刊发表，甚至能为作者赢得终身教职。斯坦福大学数学家Jared Duker Lichtman指出有"数十项"成果属于此类，其中包括对黎曼猜想的推进、霍奇猜想的一个特例情形，以及四维Kakeya猜想的解决。黎曼猜想与霍奇猜想均位列七大千禧年悬赏难题。

学术职业前景遭受冲击

此次发布对部分数学家的研究计划造成毁灭性打击。纽约大学数学家Tristan Buckmaster透露，他已经听说"有三人的整个研究计划被彻底推翻"。数学家Scott Armstrong表示，他认识的一个研究小组的整套研究纲领几乎被这次发布"清除"。博士生、初级研究人员和尚未获得终身教职的学者受冲击尤为严重，因为这些重大猜想往往是他们论文、资助申请和职业规划的核心。苏格兰圣安德鲁斯大学教授Colva Roney-Dougal表示，她的一些朋友和同事的资助申请刚刚被"抹去"。

OpenAI未透露模型细节引发不满

在发布方式上，OpenAI此次与新成立的"数学与人工智能顾问小组"（AGMAI）合作，承诺资助多场研讨会，并公开了更多技术细节，包括其模型尝试了超过4000个问题、每个典型结果约使用三小时ChatGPT Pro推理计算。但OpenAI未遵循该顾问小组的全部建议——未公开背后的模型名称、所用提示词以及模型尝试的完整问题集。截至10月8日，OpenAI已对十余份手稿进行修订，并以"符号错误"为由撤回了三篇论文。多位数学家表示，OpenAI似乎在数学界尚未消化现有成果之前就已准备进入下一阶段，这让他们感到不安。

参考链接:
https://www.theverge.com/ai-artificial-intelligence/1008726/openai-mathematics-solutions-chaos