第422章 全部核验通过 (第2/3页)

子里待了好几天了。

    他们面前的白板上写着一行字。

    【已验完十一万条恒等式】

    这几天里，彭罗斯每天早上都会拎着三份早餐准时出现，莎拉则是将未央给出来的每一个结果，都抄在了本子上，好像生怕丢了一样。

    李东也劝过她，机器是不会丢东西的。

    莎拉只是摇头。

    这是她的论文，她想亲手摸过它走的每一步。

    十一万零四百一十六条着色的恒等式，未央在第九天就全部验完了。

    每一条都是非交换多项式环里、pbw约化之後上千个符号的精确硬算。

    一致性假设ch，成立。

    那把叫挠精化不变量的尺子，从此把条件性三个字，从自己身上摘了下去。

    第十四天，数据空间和呈示空间的联合搜索停在一个挠化的drinfeld double上。

    一个不大的有限群，配上一个三阶上循环。

    就是这组数据，让这把尺子第一次看见了东西。

    第十七天淩晨四点，未央从呈示空间里捞出了一个平衡呈示。

    两个生成元，关系字总长三百出头，打印出来只占半页纸。

    呈示群的平凡性，附有逐步推导，机器可验。

    拿尺子去量平凡呈示读数是甲，去量平衡呈示读数是乙。

    甲，不等於乙。

    所以从那天起，他们剩下的活就只有一件了。

    那就是把所有的一切，从十一万条恒等式，到平凡性的推导，再到那两次取值的每一个符号，重新装进一份端到端的形式化证书里，然後让一个独立的小核验器，从头到尾地重放一遍。

    一个憋了六十年的猜想，要靠这份证书判生死，那它就必须经得起全世界的重放。

    今天就是重放的最後一天。

    幕布上的进度条已经来到了百分之九十九。

    彭罗斯已经坐不住了，他站起来来回的走了两圈又坐了回去，端起水杯才发现早就没水了。

    “东，你就一点都不紧张？”

    “紧张什麽。”

    “它又不会错。”

    “会错的，只有我们喂给它的题，而这道题，是莎

    （本章未完，请点击下一页继续阅读）

『加入书签，方便阅读』