第422章 全部核验通过

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

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