第203章 第二个六(4/4)
对方将修订前后的两份计算一并放进核验记录,随后继续检查101的分裂条件。
十一月一日,晚上十点二十六分。
周教授第三次打来电话。
办公室里只剩江临、顾明澈和授课老师,白板上的三行数字已经保留了两天,六的右上角还空着第二个签名位置。
“第二条路线结束了。”
周教授把电话转成多人通话。
另一位核验者亲口确认了自己的范围。
“我从有限层分解群和逆极限重建,没有采用周教授的关系模展开。”
“六个允许分歧素数给出五个独立生成元,全部局部条件与实无限位合计后的关系秩上界为六。”
“101完全分裂增加的关系已经计入,Frattini商的生成元秩保持为五。”
授课老师问:“你是否使用了作者提供的r≤6结论?”
“没有。”
“是否存在需要作者补上的引理?”
“没有。”
“你的签字范围?”
“塔无限性引理及其根判别式输入。”
顾明澈把签字写进q-001,周教授的名字落在第一行,第二名核验者落在第二行。
【q-001:两条独立路线完成。】
【d(G)=5:确认。】
【r(G)≤6:确认。】
【6<25/4:确认。】
授课老师将q-001状态改成绿色,主依赖图里塔无限性以下的一百七十三个节点随之开放给下一轮交叉核验。
周教授在电话里问江临:“你在内部审查里为这一处花了多久?”
“的确花了不少时间。”
“难怪攻击包把我可能会问的东西都放在前面。”
“前几版留下过失败记录。”
“那些失败属于你抵达这份证明的路,不属于这份证明的漏洞。”
周教授把自己的十一页展开授权放入公开核验附件。
“现在可以让下一组从这里往后走了。”
通话结束后,顾明澈看着白板上的两行签名。
废土里的第一条六藏在四百多页证明、四千多项依赖和十六年工作后面。
现实里的第二条六由两名研究者从不同入口算出来,连中间犯过的重复计数都留在核验记录里。
他拿起白板笔,在六和六点二五之间补回小于号。
笔尖压过那四分之一的空隙,黑色墨水在白板上留下一道很短的横线。
本章已完成!