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

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

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

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

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

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

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

甲，不等於乙。

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

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

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

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

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

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

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

“紧张什麽。”

“它又不会错。”

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

“你是不相信莎拉吗？”

听见李东这麽说，彭罗斯转头看了一眼自己的学生。

莎拉坐在笔记本前面，从早上到现在几乎就没换过姿势。

滴的一声。

幕布上的进度条走到了尽头。

【全部核验通过。】

【十一万零四百一十六条恒等式，逐条重放，无误。】

【那个平凡群呈示，平凡性确认——它们不一样。】

李东放下杯子站起身活动了下身体，缓缓的说道。

“没问题了。”

研讨室里，突然就安静了下来。

六十年的悬案，倒下的这一刻，这里却没有任何的欢呼和掌声。

莎拉转身，肩膀一抽一抽的。

彭罗斯走了过去，在她的肩上轻轻拍了拍。

“莎拉，”彭罗斯的声音里带着喜悦，“恭喜你。”

莎拉这才回过头来，眼里全是泪，声音颤抖得不成样子。

“谢谢您，老师。”

她吸了吸鼻子又转向李东，认认真真地说道。

“谢谢您，李东教授。”

“谢我干什麽。”李东摆了摆手笑道，“思路是你的，三面墙是你砌的，门也是你自己找着的。”

“未央嘛，只是个不会算错的苦力。”

“对了，写论文的时候，记得给苦力留个位置。”
本章未完，请翻下一页继续阅读.........