第423章 被！证！伪！了！ (第1/3页)

    法国，奥赛。

    巴黎－萨克雷大学数学楼，雷米夏尔捷拖着疲惫的步子走出讨论班的小教室。

    他是皮埃尔庞苏门下的三年级博士生。

    庞苏，巴黎－萨克雷大学教授，格罗莫夫门下最负盛名的弟子之一。

    卡诺群上那条以他名字命名的求导定理，後来成了拟等距刚性这一脉的基石。

    而前些日子，格罗莫夫从京城回来就给几位老学生下了一个任务。

    这个任务庞苏自然不会亲自去做，所以最後自然就落到了雷米头上：四个编了号的临界对，从c－2041到c－2044。

    听上去不多，雷米一开始也是这麽以为的。

    然後他就在这四个编号上，搭进去了整整五个星期。

    所谓临界对，就是两条改写规则能在同一处同时下手的地方。

    验它就得把两条路各自往下推到底，看它们最後归不归到同一个标准形里。

    道理是很简单，但是干起来可真要了人老命了。

    雷米每推一步都是某个有限域系数的非交换多项式环里的等式。

    他先照着一套定死的pbw基，把几百项的和逐项约化成标准形，再配平。

    一步摊开就是上千个符号，系数活在有限域里，加减乘除全得手算，还不许碰浮点。

    用庞苏教授的原话说，近似在这儿不是不精确，是没有意义。

    而且更折磨人的是每一个临界对，都得两个人背靠背各推一遍，逐符号比对。

    上星期他和师兄对c－2042，对到第七页才发现两人有一个上标不一样。

    他和师兄三天的活直接作废，当时他们都差点哭出来。

    最气人的是，这些折磨得他们欲仙欲死的恒等式，他到现在都不知道是干什麽用的。

    庞苏只给他说是替一位叫莎拉的年轻人，核验某个构造的一致性，手稿不便外传。

    莎拉是谁？什麽构造？一致了又能怎样？这些他一概不知。

    今天下午，他刚把第四个临界对的复核记录交了上去。

    五个星期，四个编号。

    “他娘的，按照这个速度，等全部验完，我的学士帽都能传给我儿子戴了！”

    走出数学楼的时候，雷米仰头看了看天，认认真真地考虑了一分锺要不要转行去做应用统计。

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

『加入书签，方便阅读』