晚上十一点四十七分，林照野从南京发来几何端的第一轮结果。

他把minkowski格投影到平面以后可能出现的点重合、方向重合和正反边重复分别拆开，重新证明每项损失都只能进入固定常数c。

【G-001：平面投影单射性通过。】

【G-002：有向边转无向边损失至多为固定因子2。】

【G-003：窗口边界损失不改变主指数。】

几何端把塔引理的前端输入封成一条待验假设，平面部分的每一步都从这条假设独立展开。

那条假设仍等着第二名专家给出独立签字。

十月三十一日上午，顾明澈去上自己的课，江临留在办公室整理公开版本的引用许可。

他不能改动已经送审的主证明，便把所有收到的问题按模块建立只读映射。

中午十二点零六分，顾明澈推门回来，手里多了一碗热米饭和两份菜。

“第三只包子退役了。”

“扔在哪儿？”

“宿舍垃圾桶。”

“有照片吗？”

“这种失败见证不进入公开附件。”

顾明澈把其中一份饭推给江临，电脑刚接上电源，第二条重算路线便传来第一批文件。

对方放弃了周教授使用的关系模展开，直接从有限层的局部分解群起步，再通过逆极限检查所加关系是否在塔层之间相容。

第一轮只做到第七页，结论栏里已经写下一个五。

下午四点，第二个五获得完整证书。

关系秩一侧慢得多。

对方要求补充的材料只有两项：六个分歧素数的原始剩余符号表，以及101在初等商中为零的独立计算记录。

江临把两个文件的位置交给顾明澈。

顾明澈核对哈希，再由授课老师发出，全程未附一行作者解释。

当天晚上九点，第二条路线把关系上界压到七。

白板右侧第一次出现一个足以破坏严格不等式的数字。

顾明澈盯着那行七。

“这是发现多出一条？”

“暂定上界。”

授课老师把对方的计算展开。

“他把同一个实无限位条件在全实性约束和局部关系界里各收了一次。”

这句话只能说明两套记号可能存在重叠，不能替对方删掉那一项。

授课老师将位置和原始定理的页码发回去，状态继续保持黄色。

四十七分钟后，对方回复。

他确认自己把全实塔的定义条件与Shafarevich关系界中的对应项重复计入，删去重复项以后，上界从七回到六。

这不是替江临修证明。

错误留在第二名核验者自己的重算草稿里，江临原稿在同一位置从始至终只收过一次。
本章未完，请翻下一页继续阅读.........