某个小数点调得再漂亮，也撞不开固定次数这层屋顶。

江临采用的办法是让数域沿着无限塔增长，同时控制根判别式，使固定素数在每一层继续提供可用的算术方向。

高维空间里的点被收进有限窗口，符合共轭范数条件的差向量则提供大量单位距离。

最后的平面投影会造成重合和重复计数，因此还要将这些损失逐项付清。

当全部账目结束，留下来的就是黑板上那个不会消失的正数。

六十多分钟里，江临只在每次路线变化的地方停下。

旧方法具体损失了什么，新条件又从哪里把它补回来，每一处都能在公开依赖图中找到对应的引理、参数区间和验证记录。

十点十分，江临翻到一页空白幻灯片，上面只有一行小字。

【Independent reconstruction】

他把遥控器放到讲台上。

“下面二十分钟不由我讲。”

克勒抱着两只灰色文件夹走上台时，台下响起了一阵明显的翻页声。

有人抬头去看流程表，有人则直接把原本写好的问题划掉了。

克勒没有先放成功结果，而是把两个红色的FAILEd放到了主屏中央。

第一轮，一组素数在第九层后无法同时满足局部条件。

第二轮，无限塔仍然存在，但完全分裂在高层中断，可用算术方向不足以支付投影损失。

第三轮，他们换掉了江临公开证书中的整组见证，用另一组素数和参数闭合了全部依赖。

克勒展示的最后一张表上，新的δ与论文中的数值不同，但同样严格大于零。

“我们开始时，想做的是把江的路再走一遍。”

克勒说完这句话，回头看了一眼那张新参数表。

“到第三轮时，我们发现，自己已经不需要再现他的路了。”

克勒没有给台下留鼓掌的时间，紧接着便把布达佩斯刚传来的十二层数据放上主屏。

他们在第三轮成功路线上继续往前跑，发现完全分裂条件可能不必在每一层原样保留。

他们还没有证明它，但数据已经越过了单纯的偶然层数。

台下刚被划掉的那些问题里，很快又有人写上了新的内容。

顾明澈看着远程提问池的顺序不断变化，最后干脆把原本排在前面的十几条“请重述证明细节”全部收进了书面回复区。

克勒下台后，江临重新走到黑板前。

“他们的第三轮说明，定理不绑定我给出的那组参数。”

“刚才那十二层数据说明，定理也许还没有把自己能用的条件吃干净。”

“现在可以提问了。”

第一个站起来的，是第192章把三次数域失败稿递给江临的那名博士生。

他手里拿着当年的原稿，封面上的三个问题旁边又多了一排新字。

“低次数障碍引理排除的，是这类minkowski窗口构造中的固定次数路线，还是所有固定数域路线？”

“前者。”

江临翻回障碍引理的假设页，把三个条件重新圈了出来。

“它约束的是固定次数、判别式与重数满足这些一致条件，而且通过这类窗口取点的路线。”
本章未完，请翻下一页继续阅读.........