近日，一篇题为《素数分布新视角：基于深度学习推断的孪生素数猜想逼近证明》的论文在预印本平台arXiv上发布，随即在数学界激起千层浪。论文作者、31岁的印度裔数学家阿南德·拉吉（Anand Raj）声称，利用一种新型神经网络架构，他找到了关于孪生素数猜想的一个重要中间结论的“几乎确定”的证明路径。然而，面对这一可能改写数论版图的成果，许多资深数学家的第一反应并非欢呼，而是“惊骇”——用他们自己的话说，“Many 'serious' mathematicians are aghast”。
震惊背后的“严肃”标准之争
“这不是数学，这是炼金术。”麻省理工学院一位不愿透露姓名的数论教授在接受本报采访时情绪激动地表示。他口中的“炼金术”指的正是拉吉方法的核心：一种能搜索数亿个整数区间自洽性模式的深度神经网络，并基于统计显著性推断出某个素数分布公式的通用性。“数学是演绎的，需要严格的公理化和逻辑链。你不能因为一个程序在99.99%的测试实例中成立，就声称它‘证明’了命题。那叫归纳，不叫证明。”
这位教授的观点代表了数学界相当一部分“严肃”派的声音。在他们看来，纯粹数学的尊严在于其不可动摇的确定性——每一步推理都必须有明确、可检验的推导，不能依赖“黑箱”输出。拉吉的论文虽然提供了大量计算数据，并给出了一个看似合理的算法框架，但并未给出一个人类可读、可复现的完整证明步骤。许多传统数学家愤怒地指出，这种模糊了“数学”与“计算机实验”边界的做法，正在动摇学科根基。
“他们恐惧的不是错误，而是范式转移”
然而，年轻一代研究者对此看法截然不同。加州大学伯克利分校的助理教授陈思远认为，老一辈的愤怒恰恰暴露了他们对新工具的恐惧。“拉吉的模型并不仅仅是暴力枚举。它实际上在抽象空间中学习了一种我们尚未用符号语言表达的‘规律’。它就像是一个黑箱版的高斯——当你不知道背后公式时，你也会觉得他猜的结果是荒谬的。但现在，我们有几十亿次验证作为支撑，为什么就不能接受它为一种‘非经典证明’？”
支持者阵营引用了一个事实：在数论领域，如陈氏定理等里程碑式成果，早期也都依赖于大量计算验证。只是以往计算被视作辅助探索，而如今拉吉直接将计算生成的“可信度”视为等价于证明的结构性证据。陈思远甚至发推表示：“如果拉吉是对的，那今后‘证明’可能变成‘构建对抗性验证网络并达到置信阈值’的过程。许多‘严肃’数学家之所以‘aghaste’，是因为他们手中的权杖——纸笔逻辑——即将被进化算法替换。”
争议漩涡中心：一场关于“真理”的僵局
截至发稿，拉吉本人尚未对数学圈的批评做出直接回应。但他的团队在论文附录中写道：“我们理解传统主义者需要时间适应。但数学史上每一次形式化革命都曾伴随抵触。当黎曼引入非欧几何时，当哥德尔引入不完全性定理时，当时的主流‘严肃’学者同样感到恐惧。我们坦诚地亮出所有数据和代码，欢迎学界用任何方法证伪。这难道不是最严谨的‘严肃’态度？”
伦敦数学学会已紧急宣布将在两周内组织专题研讨会，邀请拉吉以及持反对意见的著名数论专家面对面辩论。但无论结果如何，事件已撕裂了数学社区。在各大社交平台上，＃AGHAST＿MATH 话题持续发酵。一位英国剑桥大学的博士生的留言或许代表了旁观者的看法：“愤怒的数学家们并不是在捍卫逻辑——他们是在捍卫一个已经让人类智力撞上了天花板的工作方式。AI或许不会取代数学家，但它会重新定义谁是‘严肃’的。这才是真正的惊骇之源。”
记者手记
“Many 'serious' mathematicians are aghast”——标题中引导内的“严肃”二字，本身已成为本次事件最辛辣的注脚。当一位年轻学者用机器生成的方法叩响了数论大门，而他的成果又无法被纳入传统证明范式时，谁才是“不严肃”的一方？是屈从于权威形式而拒绝新证据的老派学者，还是那个敢于用海量数据挑战逻辑大厦的“异端”？数学的边界从未如此模糊，也从未如此性感。这场争论的终局，或许将催生一门全新的学科——“计算数论认证”，或者，它将重构我们关于何为数学真理的终极定义。而对于公众而言，看到一群世界上最聪明的人因为“该如何理解素数”而吵得面红耳赤，也许本身就是一种最美的科学浪漫。