第422章 全部核验通过 (第2/2页)
捞出了一个平衡呈示。
两个生成元，关系字总长三百出头，打印出来只占半页纸。
呈示群的平凡性，附有逐步推导，机器可验。
拿尺子去量平凡呈示读数是甲，去量平衡呈示读数是乙。
甲，不等於乙。
所以从那天起，他们剩下的活就只有一件了。
那就是把所有的一切，从十一万条恒等式，到平凡性的推导，再到那两次取值的每一个符号，重新装进一份端到端的形式化证书里，然後让一个独立的小核验器，从头到尾地重放一遍。
一个憋了六十年的猜想，要靠这份证书判生死，那它就必须经得起全世界的重放。
今天就是重放的最後一天。
幕布上的进度条已经来到了百分之九十九。
彭罗斯已经坐不住了，他站起来来回的走了两圈又坐了回去，端起水杯才发现早就没水了。
“东，你就一点都不紧张？”
“紧张什麽。”
“它又不会错。”
“会错的，只有我们喂给它的题，而这道题，是莎拉出的。”
“你是不相信莎拉吗？”
听见李东这麽说，彭罗斯转头看了一眼自己的学生。
莎拉坐在笔记本前面，从早上到现在几乎就没换过姿势。
滴的一声。
幕布上的进度条走到了尽头。
【全部核验通过。】
【十一万零四百一十六条恒等式，逐条重放，无误。】
【那个平凡群呈示，平凡性确认——它们不一样。】
李东放下杯子站起身活动了下身体，缓缓的说道。
“没问题了。”
研讨室里，突然就安静了下来。
六十年的悬案，倒下的这一刻，这里却没有任何的欢呼和掌声。
莎拉转身，肩膀一抽一抽的。
彭罗斯走了过去，在她的肩上轻轻拍了拍。
“莎拉，”彭罗斯的声音里带着喜悦，“恭喜你。”
莎拉这才回过头来，眼里全是泪，声音颤抖得不成样子。
“谢谢您，老师。”
她吸了吸鼻子又转向李东，认认真真地说道。
“谢谢您，李东教授。”
“谢我干什麽。”李东摆了摆手笑道，“思路是你的，三面墙是你砌的，门也是你自己找着的。”
“未央嘛，只是个不会算错的苦力。”
“对了，写论文的时候，记得给苦力留个位置。”
莎拉破涕为笑，用力点了点头。
……
距离未央发布已经过了将近一个月了，它的热度早就没了。
毕竟数学这个方向实在太小众了。
未央又不会陪人聊天，不哄人，你跟它寒暄一句，它只会回你一个格式错误。
这样的东西，注定出不了圈。
数学圈里也只有一小拨人真的在用它，而且都是些名不见经传的学者，用完了在小论坛里夸一句，也激不起什麽水花。
所以未央的口碑很好，名声却没传开。
在大多数人嘴里，它就剩一句话。
“哦，你说燕大出了个模型，跑数学很屌啊，那管我什麽事？”
说完，该用什麽的，就继续用什麽了。