第一组核验小组的进展远比想象中艰难。

他们直接废弃了江临在论文初稿中使用的区间算术库，选择了一条近乎自虐的路线。

重新挑选与对数函数的有理上下界，将所有涉及超越函数的估计全部展开为庞大的整数分子与分母，再把舍入误差的方向死死锁在对结论最不利的一侧。

这种方法排除了所有浮点溢出和舍入误差的隐患，但代价是算得极慢。

中午十二点，状态页上的进度条才艰难推进到根判别式常数。

下午四点，类数项的统一上界才勉强通过校验。

到了晚上九点，最终导出的分子已经变成了一串长达数百位、无法直接完整显示在普通文本文档里的超大整数。

第二组则走了完全不同的技术路线。

们先利用任意精度的浮点区间库对正下界进行快速定位，随后将整个计算链条中最敏感、最可能改变正负符号的九个关键项逐一剥离，替换为严格的形式化代数证书。

两组在开始前达成了一致约定。

浮点计算只能用来确定搜索位置，任何一个最终出现的正号，都必须由严格的整数不等式托住。

十一月三日凌晨两点十二分，第二组的终端屏幕上率先弹出了绿色的通过信号。

他们算出的最终下端点是——

【δ?

＞6.

00041x10^－38】

这个数值比论文最初声称的六点零多出了极窄的一小截，但这多出来的六点零零零四一，足够让定理页上那个决定成败的严格大于号稳稳地立在原处。

授课老师在后台核验记录里打上下划线，标记为【单路线通过】。

第一组直到当天上午十点四十八分才交付了完整证书。

他们使用的有理逼近阶数更低，导致误差区间更宽，最终计算出的下端点停在了六点零零零零七乘十的负三十八次方。

两份证书的中间过程整数、舍入截断策略与误差分配方案完全不同，但两套独立的算力演练，最终都精准地落在同一个小数位数上。

【q-002：两条独立路线完成。】

【δ?

＞6.

0x10^－38：确认。】

顾明澈把新版定理页翻过来。

“这串数保住以后，”他转过头问江临，“在数学或者现实里，有什么直接用途吗？”

“继续推翻猜想。”江临回答。

“除了推翻猜想呢？”

“暂时没有。”

顾明澈看着纸上的数字，轻笑了一声：“那它倒还挺专一的。”

江临没有接话，只是顺手将两份刚生成的数值证书打包放入显式常数附件中。

所有人都清楚，数值核验只不过是整篇漫长证明里最容易被外行看懂，也最直观的一段。

真正耗尽精力的骨架重构，才刚刚开始。

塔方向的两名研究者此前已经在q-001上签了字，但类数与单位模元素计数组只对他们自己负责的代数模块签字，远在南京的林照野也仅仅确认了几何投影的接口。

每个人都能保证自己检查过的桥墩足够坚固，但整座大桥从第一行推导走到最后一行时是否依然连成同一条通路，还需要一次完全不借助作者任何提示的完整重构。
本章未完，请翻下一页继续阅读.........