（补上之前的礼物加更 1/2）

徐辰重新回到了那间堆满了手稿和文献的访问学者公寓。

他看了看日历，此时已经是七月初了。

距离三月中旬时定下的「半年之约」，满打满算也就剩下两个多月的时间了。

九月中旬，他必须拿出一个具有决定性意义的阶段性成果，向全世界的数学家展示这条路的终点到底在哪。

时间虽然紧迫，但徐辰的心境却比一个月前卡在「极值控制」时要沉稳得多。

……

徐辰走到白板前，拿起马克笔，开始重新审视整个「概率圆法」的宏观推导路径。

在这个十分复杂的框架里，概率论的高斯自由场和圆法里的哈代-李特尔伍德积分并不是两个独立分割的步骤。

绝不是说你把概率论的误差项全部算完了，再扔给圆法去收尾。

真实的推导过程，是一种非常折磨人的「非线性叠代」。

你必须先在某一个特定的数值区间内，用概率论（比如二维GFF）给出一个初步的误差估计；然后，把这个估计值扔进圆法的「大弧」和「小弧」积分中去跑一遍。

跑完之后，你会发现圆法的边界条件和概率论的初始假设产生了冲突。于是，你必须根据圆法反馈回来的拓扑形变，退回去重新调整概率论的参数；调整完概率论，再扔进圆法里重新积分……

左脚踩右脚，右脚再踩左脚。

两者必须在相当庞大的计算量中不断叠代丶互相妥协，直到最终在某个狭窄的数学空间里达成完美的「收敛」。

……

这种叠代的计算量，简直大得令人发指！更要命的是，如果要完整证明哥德巴赫猜想，你需要把这种叠代，覆盖到从极小数字到无穷大的所有区间！

「如果按照这种方式硬算下去……」

徐辰看着白板上那密密麻麻的推导链条，摇了摇头。

「就算我把大脑的LV.3算力压榨到极限，连轴转上五年，估计也算不完。」

既然直接硬算行不通，那就必须改变策略。

徐辰停下了手中的笔，目光渐渐变得深邃起来。他意识到，自己似乎陷入了一个属于「做题家」的思维误区——试图一个人包揽从打地基到盖楼顶的所有活儿。

在现代数学的框架里，有一种操作，叫做「可解性证明」，或者叫「存在性证明」。

对于普通大众来说，解数学题就是「算出那个确切的答案」。但在真正的顶尖数学界，「算出答案」往往只是留给超级计算机或苦力博士生的体力活。

而证明「这个问题必定存在一个解」，才是真正属于上帝视角的宗师手笔！

……

纵观整个数学史，那些真正开宗立派的绝顶天才，全都是玩「可解性」的大师。