肖宿独自一人站在偌大的讲台中央，黑暗中，数万双眼睛直直的盯着他。

    

    此刻，所有的光都聚在了这个少年身上。

    

    “大家好，我是肖宿。”

    

    没有多余的寒暄，没有过渡，肖宿直接开始了。

    

    他把话筒调了调高度，往预先准备的小黑板那边走了两步，拿起了一支粉笔。

    

    “哥德巴赫猜想。”

    

    他的声音很清晰，在安静的大厅里甚至出现了回声。

    

    “任何一个大于2的偶数，都可以写成两个素数之和。”

    

    他抬手执笔，在黑板上缓缓落下这行定义。

    

    头顶巨幕实时同步画面，将少年清峻利落的字迹清晰的投射出来，在场的每一个人，都能看得一清二楚。

    

    “这大概是数学史上最容易被理解、也最难被证明的命题。

    

    一个人只要知道了什么是偶数和素数，就能明白这个猜想在说什么。

    

    可是，自从1742年哥德巴赫在给欧拉的信里写下这个猜想开始，两百八十多年过去了，一代又一代的数学家为它耗尽了毕生心血，却始终没有人能够走到最后一步。”

    

    “但今天，我想我们可以给它划上一个句号了。”

    

    这话一出，原本安静的人群几乎同时倒吸了一口凉气。

    

    太狂妄了。

    

    可肖宿只是在表述一个事实而已。

    

    “证明哥德巴赫猜想，核心是要解决素数的分布规律问题。

    

    也就是说，我们要搞清楚素数在自然数里到底是怎么排列的。

    

    它有没有一个隐藏的规律，让我们可以确信，任何一个足够大的偶数，都一定能拆成两个素数。”

    

    他在黑板上画了一条横线，代表自然数，然后在上面零零散散地点了几个点，代表素数。

    

    “素数在自然数中的分布，看起来是随机的，2、3、5、7、11、13……

    

    你没有办法用一个简单的公式预测下一个素数会出现在哪里。

    

    但是，当数字大到一定程度，素数的分布会呈现出一种大尺度的统计规律。

    

    这就是素数定理告诉我们的：不超过x的素数个数，大约是x除以ln x。”

    

    他在黑板上写下了素数定理的近似表达式：π(x) ~ x

    

    log x。

    

    “这个规律很重要，但它不够精确。

    

    要证明哥德巴赫猜想，我们需要的不是‘大约’，而是‘一定’。

    

    我们需要一个工具，能够在自然数里把素数从合数中精确地筛出来，并且，还要保证筛完之后，剩下的素数足够多，多到能覆盖所有的偶数。”

    

    “这个工具，就是筛法。”

    

    “筛法的思路很简单。

    

    如果你想找出一定范围内所有的素数，你可以先去掉所有能被2整除的数，再去掉所有能被3整除的数，以此类推。

    

    筛到最后，剩下的就是素数。”

    

    他转过身，在黑板上写下一个求和式。

    

    “用数学语言表达，筛法的核心是对莫比乌斯函数μ(d)的求和。

    

    对任意给定的整数集合A，筛函数S(A, z)表示A中所有素因子都大于z的元素个数。

    

    用勒让德筛法，我们可以写出S(A, z)等于∑_{d|P(z)} μ(d)·|A_d|，其中P(z)是所有不超过z的素数的乘积，A_d是A中能被d整除的子集。”

    

    粉笔在黑板上快速移动。

    

    “但问题在于，这个求和式里的误差项，当z增大的时候会迅速失控。

    

    布朗在1920年提出了一个巧妙的修正，不直接用μ(d)，而是用一对精心选取的上下界序列来逼近μ(d)。

    

    塞尔伯格进一步改进了这个方法，用二次型优化来极小化误差。

    

    陈景润先生把这个技术推到了极致，证明了每个充分大的偶数都可以写成一个素数与一个不超过两个素因子的数之和。”

    

    “但是，奇偶性问题始终是筛法迈不过去的坎。”

    

    台下，黄建亚微微点了点头。

    

    他研究了一辈子解析数论，太清楚陈景润那道坎有多难跨越了。

    

    “奇偶性问题的本质是什么？

    

    用筛法估计一个集合中素数的个数时，筛法无法区分一个数有奇数个素因子还是有偶数个素因子。

    

    换句话说，如果一个数恰好是两个不同素数的乘积，筛法会把它和真正的素数混在一起。

    

    这个混淆，在哥德巴赫猜想这种需要精确区分‘1+1’的问题上，是致命的。”

    

    “所以，如果只用筛法，这个问题是无解的。”

    

    肖宿顿了顿，拿起粉笔，在黑板的另一边画了一个圆。

    

    “而另一个工具，圆法，走的是完全不同的路径。”

    

    “圆法的核心思想是把离散的加法问题转化为连续空间里的积分。

    

    设R(n)为将偶数n写成两个素数之和的表法个数，那么根据圆法的基本恒等式，R(n)可以表示为∫_0^1 S(α)^2·e(-nα) dα，其中S(α)是指数和∑_{≤n} e(α)，e(x)是e^{2πi x}。”

    

    他在黑板上写下这个积分表达式。

    

    “这个积分的巧妙之处在于，当α接近有理数a

    

    q，也就是所谓的‘主弧’区域时，S(α)的行为可以用素数定理来精确估计。

    

    而当α远离有理数，也就是‘余弧’区域时，S(α)的贡献很小。

    

    如果我们能证明主弧上的积分主项足够大，而余弧上的积分小到完全可以忽略，那么哥德巴赫猜想就成立了。”

    

    “维诺格拉多夫用这个方法证明了三素数定理，即每个充分大的奇数都可以写成三个素数之和。

    

    但他的方法在偶数的情形下就失效了，因为偶数的哥德巴赫问题涉及的是两个素数的和，主项和余项的竞争远比三素数的情形更加激烈。

    

    所以余项估计的精度，必须控制到小o级别，而传统的方法在这个精度下会直接崩溃。”

    

    他在圆的两端分别写下了“筛法”和“圆法”两个词。

    

    “筛法擅长细节，但缺乏整体视野。

    

    圆法擅长整体，但细节上不够精确。

    

    这两种方法，各自都很强大，但各自又都有致命的短板。”

    

    “长期以来，数学家们一直在想，能不能把两者结合起来？

    

    用圆法的整体框架来控制大方向，用筛法的精细技巧来处理局部细节。”

    

    他在“筛法”和“圆法”之间画了一条弧线。

    

    “但这条路，走不通。”

    

    台下有人轻轻“啊”了一声。

    

    肖宿继续说道：“因为筛法使用的是莫比乌斯卷积的语言，而圆法使用的是指数和积分的语言。

    

    它们之间没有自然的翻译器。”

    

    “那么，有没有可能，为这两套语言造一个翻译器？”

    

    台下，德利涅瞬间坐直了身体。

    

    舒尔茨的眉心轻轻一跳。

    

    他们知道，重点来了。

    

    肖宿拿起粉笔，在小黑板中央写下了一段简短的定义。

    

    “在研究孪生素数猜想的过程中，我发现了一个有趣的现象。

    

    那就是当我把顾辛流型中关于弗洛尔同调的不变量计算，以某种特定的方式展开时，展开项的结构，和圆法中某个积分核在鞍点附近的渐近展开，形式上一模一样。”

    

    他又在黑板上写下了两行式子。

    

    左边是弗洛尔同调的展开项：∑_{k} C_k·(log N)^{-k}。

    

    右边是圆法积分核在鞍点附近的渐近展开：∑_{k} D_k·(log N)^{-k}。

    

    “这不是巧合。

    

    这说明筛法和圆法之间，存在某种更深层的对应关系。”

    

    “既然展开的形式一样，那展开之前的结构，是不是也一样？

    

    如果把筛法的求和项，通过某种变换映射到圆法的工作空间里，这个映射能不能是一个对偶变换？”

    

    他在黑板上写下一行字：对偶变换T。

    

    “具体来说就是，如果我定义一个变换T，它把筛法中的莫比乌斯卷积转化为复平面上的围道积分，那么C_k和D_k之间满足D_k = T(C_k)。”

    

    “这个变换T，就是我称之为傅里叶-米库辛变换的东西。

    

    它把筛法在整数域上的运算，映射为圆法在复平面单位圆上的运算。

    

    反过来，它的逆变换T^{-1}，把圆法的指数和积分，映射回了筛法的筛函数中。”

    

    他的粉笔在黑板上飞快移动，写下变换的定义。

    

    “T的具体定义应该是：对于筛函数F(s)，其傅里叶-米库辛变换?(z) = ∑_{n} F(n)·n^{-z}，这是一个在复平面上定义的狄利克雷级数。

    

    这个级数在Re(z) ＞ 1时收敛，并且可以亚纯延拓到整个复平面。

    

    它的极点分布恰好对应素数分布的关键信息。”

    

    台下，陶哲轩从笔记本上抬起头来，眼睛灼灼的盯着台上的少年。

    

    德利涅低声对舒尔茨说了一句什么，舒尔茨点了点头，目光始终没有离开黑板。

    

    “有了这个变换，筛法和圆法就不再是两套互不兼容的语言了。

    

    在变换T的作用下，筛法的误差项被重新分配到了圆法的积分路径上。

    

    而圆法的积分路径，是可以自由选择的。”

    

    “这就是分层筛法和鞍点圆法的核心。”

    

    他在黑板上画了一条蜿蜒的曲线。

    

    “分层筛法，把素数按照对数尺度分成多层。

    

    每一层只处理特定尺度的信息。

    

    具体来说，对于不超过N的素数，我按(log n)的大小区间把它分成J层，第j层的素数满足2^{j} ≤ log＜ 2^{j+1}。

    

    在每一层内部，筛函数的误差可以独立控制，不同层之间的误差不会交叉污染。”

    

    “然后，每一层的筛分结果通过傅里叶-米库辛变换映射到复平面上，变成一个围道积分。

    

    这个围道积分的路径不是固定的，我可以选择它。

    

    如果我把积分路径选在最速下降曲线上，也就是鞍点附近梯度最陡的方向，那么积分的主项就由鞍点处的贡献决定，余项随着参数N的增大会以指数速度衰减。”

    

    他在黑板上写下鞍点积分的估计式。

    

    “鞍点由方程d

    

    dz(log ?(z) - z·log N) = 0确定。

    

    在最速下降路径上，积分的主项贡献是(2π

    

    |?″(z?)|)^{1

    

    2}·?(z?)·N^{z?}·(1 + O(1

    

    log N))，而余项被控制在O(N^{Re(z?)}·ex(-c·(log N)^{1

    

    2}))的量级，这个量级远远小于主项。”

    

    “现在，筛法的精度和圆法的灵活性，通过傅里叶-米库辛变换连接在了一起。

    

    筛法提供分层精度，圆法提供全局估计，对偶变换弥合了两者的语言隔阂。

    

    最终，哥德巴赫问题的表法个数R(n)可以表示为一个主项加上一个可控的余项。”

    

    他在黑板上写下最终的表达式。

    

    R(n) = (n)·n

    

    (log n)^2 + O(n

    

    (log n)^3)，其中(n)是奇异级数，定义为∏_{|n}(1 - 1

    

    (-1)^2)·∏_{?n}(1 + 1

    

    (-1)^2)，对所有素数取乘积。

    

    这个奇异级数可以具体计算，并且对偶数n，它严格大于一个绝对正常数。

    

    写完，他手里的粉笔也快要用完了。

    

    “把表法个数R(n)的下界估计出来之后，问题最后归结为：证明一个几何不变量不等于零。

    

    这个几何不变量，来源于弗洛尔同调群里的某个拓扑指标。

    

    确切地说，我在顾辛流型上构造了一个与素数分布对应的拉格朗日子流形，计算它的弗洛尔同调群，发现它的秩恰好等于奇异级数(n)在一个特定极限下的取值。”

    

    “而弗洛尔同调群的这个拓扑指标，我已经在去年关于孪生素数猜想的论文里证明过了，它不可能为零。”

    

    他转过身，用仅存的一点粉笔在黑板上写下了最后一行。

    

    “综上，对任意大于2的偶数n，R(n) ≥

    

    (log n)^2 ＞ 0，其中C是可具体计算的正常数。

    

    哥德巴赫猜想成立。”

    

    笔落，最后一点粉笔也用尽了，他拍了拍手，转过身来，直面台下的上万人。

    

    聚光灯落在他清瘦的身影上，把他的影子投在了写满公式的黑板上。

    

    “至此，证明完成。”