刘浩然他们似乎都变得正常起来了

但他的目光只往下扫了两页，眉心就拧了起来。

　　作者在定义素数集合对应的“离散子流形”时，直接套用了他论文中处理孪生素数对的构造方式，几乎没有做任何实质性的修改。

　　问题是，孪生素数猜想和哥德巴赫猜想虽然都涉及素数，但前者的核心是素数对之间的间距分布，后者则是偶数表为两素数之和的加法结构，这完全是两种不同的数学结构。

　　直接把前者的几何模型搬过来，连基本定义的适用性都不加验证，这已经不是借鉴，而是生搬硬套了。

　　更让肖宿觉得刺眼的是第三页的一个核心引理。

　　作者试图证明，在他们构造的那个几何模型里，偶数n对应的“相交数”与哥德巴赫分解数目g(n)之间存在一个对应关系。

　　但推导过程中有一个非常明显的错误，那就是他们把辛流形上两个拉格朗日子流形的相交，直接等价于它们在某个投影下的像集的交集。

　　这个操作在一般的辛流形上根本不成立，除非子流形满足相当苛刻的横截性条件，而作者甚至连这个条件的存在都没有意识到。

　　肖宿轻轻呼出一口气，关掉了这篇论文。

　　第二篇来自欧洲一个联合研究组，发在MPRA上的预印本，作者阵容看起来挺庞大，有六个人，分别来自巴黎六大、波恩大学和苏黎世联邦理工。

　　论文标题是《辛几何方法与哥德巴赫猜想的加法结构》。

　　这篇的数学功底明显比第一篇扎实一些，至少作者们意识到了哥德巴赫猜想和孪生素数猜想在结构上的差异，也尝试做了一些针对性的调整。

　　他们提出了一个“双纤维化”的构造，试图用两个不同的辛约化过程来分别处理两个加项素数，然后再通过一个乘积结构把两者耦合起来。

　　思路本身不算错，甚至可以说有一定的启发性。

　　但肖宿往下看了几页之后，发现了一个致命的问题。

　　他们构建的双纤维化结构，依赖于一个隐含的假设，那就是素数集合在某种意义下是“均匀分布”的，以至于可以用连续统上的积分来近似离散求和。

　　作者们显然试图用圆法里的指数和估计来支撑这个假设，但他们的估计精度远远不够。

　　从离散求和过渡到连续积分所需要的误差控制，比他们给出的界要严格得多。

　　换句话说，他们证明的只是一个在“连续近似”意义下的结论，离真正的哥德巴赫猜想还隔着一道需要用硬分析来填平的鸿沟，而这道鸿沟的宽度，本质上和原问题本身的难度不相上下。

　　肖宿抿了抿唇。

　　第三篇、第四篇、第五篇。

　　肖宿浏览的速度越来越快，眉头却越皱越深。

　　有一篇来自东京大学的研究直接把顾—辛流型中的弗洛尔同调计算套用过来，却在同调群的维度计算中漏掉了一个关键的符号因子，导致整个后续推导建立在错误的基础上。

　　还有一篇来自麻省理工的年轻博士，试图用机器学习的方法来“辅助”筛法的参数选择，声称可以把陈氏定理的“1+2”推进到“1+”，这是一个在数学上根本没有任何意义的表述。

　　最让肖宿觉得荒诞的是，他甚至看到了一篇来自国内某高校的论文，标题赫然写着《基于肖宿理论的哥德巴赫猜想机器证明框架》。

　　点进去一看，所谓的“机器证明框架”不过是把哥德巴赫猜想验证到了十的八次方量级，然后用了一个非常粗糙的概率模型来“预测”更大偶数的情况。

　　作者似乎完全没有意识到，“验证”和“证明”之间隔着一条数学的鸿沟，而这个鸿沟有多大呢？

　　就算你用计算机验证到了宇宙毁灭的那一天，你也永远无法触及“任意大偶数”这个无限的概念。

　　肖宿在这时忽然想到顾叔叔之前跟他说过的，他写的东西，整个数学界大概需要数十年才能真正消化这句话。

　　在他看来，数学是最简单的科学，它没有现实世界的复杂性，定义清楚、推导严谨，结论就会正确，无所谓消不消化的问题。

　　但现在他明白了顾清尘的意思。

　　原来对他来说那么简单的东西，那些学者甚至真的需要数十年去消化。

　　照这么看，刘浩然他们似乎挺正常正常的。

　　肖宿关上网页，重新把目光收回到草稿纸上。

　　那些论文没有给他带来任何有用的东西，但至少让他确认了一件事：

　　从“1+2”到“1+1”的那一步，确实还没有人跨过去。

　　甚至连一个真正有希望的方向，都还没有被指出来。

　　这反倒让他的思路清晰了一些。

　　他轻轻拿起一支笔，在草稿纸上写下“哥德巴赫猜想”几个大字，又在旁边写下“筛法”两个字。

　　筛法，这大概是数论里最古老也最朴素的方法了。

　　最原始的筛法，叫埃拉托色尼筛法，是两千多年前一个古希腊图书馆馆长想出来的。

　　那时候的人就想知道怎么找出所有素数，埃拉托色尼的法子很简单：

　　把从2开始的自然数列出来，然后留下2，把2的倍数全划掉。

　　下一个没被划掉的数是3，留下3，把3的倍数全划掉。

　　再下一个是5，留下5，划掉5的倍数……

　　如此反复，剩下的就是素数。