“是否存在需要作者补上的引理？”
“没有。”
“你的签字范围？”
“塔无限性引理及其根判别式输入。”
顾明澈把签字写进q-001，周教授的名字落在第一行，第二名核验者落在第二行。
【q-001：两条独立路线完成。】
【d(G)＝5：确认。】
【r(G)≤6：确认。】
【6＜25／4：确认。】
授课老师将q-001状态改成绿色，主依赖图里塔无限性以下的一百七十三个节点随之开放给下一轮交叉核验。
周教授在电话里问江临：“你在内部审查里为这一处花了多久？”
“的确花了不少时间。”
“难怪攻击包把我可能会问的东西都放在前面。”
“前几版留下过失败记录。”
“那些失败属于你抵达这份证明的路，不属于这份证明的漏洞。”
周教授把自己的十一页展开授权放入公开核验附件。
“现在可以让下一组从这里往后走了。”
通话结束后，顾明澈看着白板上的两行签名。
废土里的第一条六藏在四百多页证明、四千多项依赖和十六年工作后面。
现实里的第二条六由两名研究者从不同入口算出来，连中间犯过的重复计数都留在核验记录里。
他拿起白板笔，在六和六点二五之间补回小于号。
笔尖压过那四分之一的空隙，黑色墨水在白板上留下一道很短的横线。
“没有。”
“你的签字范围？”
“塔无限性引理及其根判别式输入。”
顾明澈把签字写进q-001，周教授的名字落在第一行，第二名核验者落在第二行。
【q-001：两条独立路线完成。】
【d(G)＝5：确认。】
【r(G)≤6：确认。】
【6＜25／4：确认。】
授课老师将q-001状态改成绿色，主依赖图里塔无限性以下的一百七十三个节点随之开放给下一轮交叉核验。
周教授在电话里问江临：“你在内部审查里为这一处花了多久？”
“的确花了不少时间。”
“难怪攻击包把我可能会问的东西都放在前面。”
“前几版留下过失败记录。”
“那些失败属于你抵达这份证明的路，不属于这份证明的漏洞。”
周教授把自己的十一页展开授权放入公开核验附件。
“现在可以让下一组从这里往后走了。”
通话结束后，顾明澈看着白板上的两行签名。
废土里的第一条六藏在四百多页证明、四千多项依赖和十六年工作后面。
现实里的第二条六由两名研究者从不同入口算出来，连中间犯过的重复计数都留在核验记录里。
他拿起白板笔，在六和六点二五之间补回小于号。
笔尖压过那四分之一的空隙，黑色墨水在白板上留下一道很短的横线。