集合是六个有限素数,所有实位置列入分裂条件,101的Frobenius关系单列。”

    “如果101已经在最大初等商里分裂,它不会削掉一个生成元,这一点你怎么排除记号上的循环论证?”

    江临把Frattini商证书切到投影矩阵页。

    101对应的Frobenius像在初等商里为零,五个独立二次方向由t中的六个素数生成,两个结论使用的是两组分开的剩余符号计算。

    老师拿出草稿纸,逐个重算模101的平方剩余,再沿矩阵消元检查五个方向的独立性。

    办公室里的打印机吐出第三页时,他在【d(G)=5】后面画了第一个勾。

    “这里只能说明初等层没塌。”

    “所以关系界单独放在下一节。”

    “你把六小于六点二五写得这么大,很容易让人以为最难的只剩小学算术。”

    “最短的一步适合放在最后一页。”

    “也适合让外行误以为前面四百页都是铺垫。”

    老师翻到Shafarevich关系界,笔尖沿每一个局部条件向下移动。

    江临坐在对面吃完已经凉下来的第一个包子,顺手处理了许曼发来的首件拆检照片。

    照片里一台完成救灾复检的pG平台换下了两只密封件,右后足的轴承游隙比出厂值增加了十二微米,仍在陈砚设置的红线以内。

    他回复【按原计划进入寿命跟踪,不提前放行】,随后把手机调成静音。

    十点四十四分,老师在关系界旁写下第一条正式质疑。

    【q-001:独立重算实无限位分裂条件进入关系秩上界时的记账方式。】

    这条质疑暂时不会让证明作废,也不允许江临凭自己的内部核验把它划掉。

    江临将q-001复制进主审目录,保留老师写下的原句,一个字也没改。

    老师给一位研究类域塔的同行拨了电话,把问题压成三句话,又约定只发送第一攻击包。

    第二个电话打给了林照野。

    “你今天有空吗?”

    电话另一端问了什么,老师把单位距离命题翻到第一页。

    “江临给了一个固定正指数的下界。”

    对面又说了几句。

    “有多小先别管,只要它确实大于零,你知道后果。”

    老师报出第一包的哈希,要求林照野先查平面投影、边去重和窗口边界,不接触类域塔部分的内部结论。

    六个核验包由此有了现实世界的第一批负责人。

    类域塔交给两名代数数论研究者独立重算,类数与单位模元素计数另拆一组,林照野负责几何投影,老师保留主链拼接,顾明澈领到的任务最朴素:从第一页开始检查所有定义、引用和符号是否前后一致。

    顾明澈把自己的任务写在登记表上,终于想起书桌上还剩三只包子。

    “我回去拿一下早餐。”

    江临提醒他:“已经凉透了。”

    “我排了二十七分钟队。”

    “那就别浪费。”

    顾明澈走到门口又折回来,把江临那块只读盘也一并塞进柜子。

    “你今天别再改主稿,等第一轮质疑回来,省得我们审的版本追着你跑。”

    “可以。”

    老师从登记表上抬起头:“还有谁看过?”

    “现实世界里,只有我们三个。”

    “外部提交呢?”

    “还没做。”

    “媒体、预印本和你以前的审阅链全部暂缓,至少等塔、计数和投影三组各自给出第一轮结论。”

    老师翻过封面,看见任务元数据里那行仍未到来的日期。

    【计划正式启动:2022年11月1日】

    他拿笔圈住日期。

    “这是怎么回事?”

    “原计划。”

    “今天十月三十号。”

    “所以没按原计划。”

    老师看了江临一会儿,把那行字划去,在下面写下新的状态。

    【2022年10月30日,进入现实独立核验。】

    顾明澈给第一份质疑建立目录,文件名从q-001开始。

    保存时间是中午十二点四十七分。

    十一月一日还在日历的下一页,现实世界已经有人准备从原始定理开始,再算一次那四分之一条关系。

章节目录