你敢信？AI一晚上就产出了七百多篇专业数学论文，直接冲到不少年轻数学家的研究进度前面了。10月6日OpenAI往GitHub一次性上传了722篇全AI生成的数学论文，覆盖约20个数学分支，就连悬了很久的猜想都被啃下了关键部分，这下数学圈直接炸锅。
最受关注的就是黎曼猜想相关的结果。AI没给出完整的证明，但搞定了被叫做“准黎曼猜想”的关键片段。理论计算机方向有八十多篇成果，其中三篇讨论矩阵乘法的速度极限，还有一篇提出了全新的整数乘法算法。偏微分方程领域也有十多篇，涉及德乔吉猜想和纳维-斯托克斯方程这种学界公认的大难题。
OpenAI不光放了论文，还公开了部分可以让机器验证的Lean代码，同时承诺会出钱资助后续对这些成果的审查工作。站在AI这边的支持者觉得，这绝对是AI辅助数学研究的里程碑。AI不光能给出答案，还能把证明整理成计算机可以检查的形式，这已经突破了之前大家对AI做研究的认知。
数学圈的反映可就五花八门，完全没一边倒叫好。纽约大学库朗数学科学研究所的巴克马斯特教授，10月8日接受媒体采访时直接说，这次大规模公开成果，把不少年轻数学家的研究计划整个冲没了。人家熬了好久快做出来的同一个问题，AI一夜之间就给出了结果，换谁扛得住啊。
西北大学的数学教授克拉也说了自己的担心，数学这行当特别依赖研究者之间的合作，大家早就习惯了在讲座和日常交流里分享没做完的想法。要是这些未成型的想法都可能被AI吸收拿去用，以后数学家说不定都会变得保守，不敢随便分享自己的思路。OpenAI那边也没人能出来给这些成果做报告，回答专业领域的疑问。
大家在意的点远不止抢进度这么简单，数学论文本身的价值衡量就和别的不一样。数学论文不是说结论对了就够，还要看证明好不好读，方法能不能推广到其他问题，结果是不是真的解决了重要问题。Lean代码只能验证证明的形式对不对，没法告诉读者这个证明到底为啥重要。AI生成的论文又往往缺了人类研究者那层直觉解释，审稿人得多花好多时间重新理清楚整个证明的思路。
更深层的争议还在数据来源这块，到现在都没说清楚。巴克马斯特就怀疑，数学家们输入到AI工具里的未发表研究，说不定对OpenAI这次的成果有贡献。OpenAI也没回应相关的置评请求，Nature都报道了，学界不少人对这七百多篇号称“纯AI生成”的预印本相当愤怒。
还有不少人担心，没经过同行评议的结果，会直接被当成既定结论到处传播，搅乱整个学界的信息环境。这件事背后本质上是个制度问题，谁来审查这些成果，谁能署名，出了问题谁来担责，全都是空白。Lean代码能验证证明的形式没错，可代替不了同行评议对问题价值、原创性和方法意义的判断。
OpenAI说会自助审查活动，可审查者是不是独立，最终结论会不会公开，到现在都没确定。不少一线数学家还担心，AI一下子把这么多结果扔到预印本平台，会把真正重要的研究给淹没掉，年轻学者本来就难出头，这下更难获得学界关注了。要是哪天AI生成的证明被查出有漏洞，这个责任到底算谁的，目前也没有清晰的答案。
说白了，AI直接把数学研究的产出速度拉到了一个人类从未见过的新量级，可学术共同体消化这些成果的速度还是原来的样子。722篇论文一天就能全部上传完毕，可真要被整个学界读懂、复现、得到认可，可能需要花上好几年的时间。
年轻学者真正的危机，也不是AI跑的比自己快，而是现有的学术评价体系，还完全没跟上AI带来的这种速度变化。这不是学术共同体第一次面对技术带来的冲击，只不过这一次，AI的脚步快得超出了所有人的预期。
参考资料：光明网 AI批量生成七百余篇数学论文，数学家在焦虑什么
热门跟贴