“吱——呀——”

理科楼办公室里，角落里那台老旧的激光打印机喘息着吐出最新一版的定理页。

顾明澈接住纸，第一时间顺着公式第二行的精细排版，从小数点后面开始，一个一个往后数。

【δ?

＞6.

0x10^－38】

“一、二、三……”他低声念着，指尖在犹带余温的纸面上滑过，“三十七。”

三十七个零，一个没少。

这串几乎小到物理世界无法观测的数字，在不为人知的岁月里，跟着江临经历过整整两千零四十八位的高精度有理区间认证。

而作为整座大厦基石的塔无限性，也在昨晚深夜迎来了两条现实独立核验路线的最终确认。

顾明澈把定理页铺在桌上，目光顺着δ?

右侧那串密密麻麻的依赖标记逐级往下梳理。

底域、分歧集合、标记素数、类数上界、窗口放大倍数和分母指数全部在塔层开始增长以前就已经被固定住。

往后随代数结构不断变化的，只有域次数f_j。

按照江临的证明架构，他把单位方向与窗口点数各自写成随f_j指数增长的量，再用两个增长率之差定义了δ?

。

只要这个差严格落在零的右侧，单位距离猜想中那个困扰了数学界半个多世纪的o(1)误差项，就再也无法阻挡反例的成立。

顾明澈点开屏幕上的区间认证日志包，屏幕的光斑映在他眼底。

“塔已经由别人重新造了一遍，”他揉了揉发干的眼角，“这个三十八次方，也得让别人重新算。”

“已经在算了，”江临的声音从旁边传来，“在 q-002 里。”

说话间，江临手里的鼠标轻点，将一份格式空白的独立核验页拖到了显示器中央。

【q-002：绕开作者数值程序，独立认证log b／log A的严格正下界。】

顾明澈看了一眼页面右上角的系统创建时间戳：“你昨晚什么时候建的？”

“q-001变绿以后三分半。”

话音未落，办公室厚重的木门被推开了。

授课老师拎着一只沉甸甸的保温袋走了进来，袋子里透出热豆浆和刚出锅面食的香味。

昨天因为放太久而不得不退出食用序列的第三只包子显然给他留下了深刻教训，今天的豆浆、烧饼和鸡蛋全部被紧紧锁在保温层里。

“q-002交给谁了？”老师把保温袋往桌上一放，开门见山地问。

“一个专门做严格数值验证的算法小组，还有一个偏解析数论方向的研究者。”

江临将两串哈希接收列罗列在屏幕侧栏。

“双方都拿不到我写的原始计算程序，他们只能读取定理主文里固定的几个代数参数，以及允许调用的基本有理不等式。”

“很好，就得这么干。”

老师伸手从袋子里抓出一只烤得金黄的烧饼递给顾明澈。

“你今天继续去查定义表和符号映射，但注意不要碰任何数值结果。”

顾明澈接过烧饼咬了一口，含糊道：“我还以为查零比较适合我。”

“零不能由数出来。”老师看了他一眼，语气严肃，“靠数出来的小数点，在形式化证明里一文不值。”
本章未完，请翻下一页继续阅读.........