则是将未央给出来的每一个结果，都抄在了本子上，好像生怕丢了一样。
李东也劝过她，机器是不会丢东西的。
莎拉只是摇头。
这是她的论文，她想亲手摸过它走的每一步。
十一万零四百一十六条着色的恒等式，未央在第九天就全部验完了。
每一条都是非交换多项式环里、pbw约化之後上千个符号的精确硬算。
一致性假设ch，成立。
那把叫挠精化不变量的尺子，从此把条件性三个字，从自己身上摘了下去。
第十四天，数据空间和呈示空间的联合搜索停在一个挠化的drinfeld double上。
一个不大的有限群，配上一个三阶上循环。
就是这组数据，让这把尺子第一次看见了东西。
第十七天淩晨四点，未央从呈示空间里捞出了一个平衡呈示。
两个生成元，关系字总长三百出头，打印出来只占半页纸。
呈示群的平凡性，附有逐步推导，机器可验。
拿尺子去量平凡呈示读数是甲，去量平衡呈示读数是乙。
甲，不等於乙。
所以从那天起，他们剩下的活就只有一件了。
那就是把所有的一切，从十一万条恒等式，到平凡性的推导，再到那两次取值的每一个符号，重新装进一份端到端的形式化证书里，然後让一个独立的小核验器，从头到尾地重放一遍。
一个憋了六十年的猜想，要靠这份证书判生死，那它就必须经得起全世界的重放。
今天就是重放的最後一天。
幕布上的进度条已经来到了百分之九十九。
彭罗斯已经坐不住了，他站起来来回的走了两圈又坐了回去，端起水杯才发现早就没水了。
“东，你就一点都不紧张？”
“紧张什麽。”
“它又不会错。”
“会错的，只有我们喂给它的题，而这道题，是莎拉出的。”
“你是不相信莎拉吗？”
听见李东这麽说，彭罗斯转头看了一眼自己的学生。
莎拉坐在笔记本前面，从早上到现在几乎就没换过姿势。
滴的一声。
幕布上的进度条走到了尽头。
【全部核验通过。】
【十一万零四百一十六条恒等式，逐条重放，无误。】
…。。