刘贺敏发过来的消息里，哀怨气息十足，让人听了都能感觉到酸楚，仿佛他本来能评上院士，结果因为赵奕要参加评选，不得不遗憾的选择退出。

赵奕看笑了。

如果不了解刘贺敏的话，完全看不出话里的打趣意味，但是他非常了解刘贺敏，知道刘贺敏不可能评的上数物理部的院士。

刘贺敏确实参加了数物理部的院士增选，但他就是参加评选人中‘重在参与’的那一个，而且最初被推荐成为候选人，熟悉的人就都知道，他就是参加一下凑个数。

当然了。

刘贺敏也许是真心想评上院士，但‘想’和‘是否能评上’，是完完全全的两件事，连他自己也知道评不上。

因为，研究方向和成果。

刘贺敏是科院软件所的研究员，主要研究方向是计算机类的进化算法，他对数的研究也和进化算法直接挂钩，但基本上都是信息中，一些软件、算法设计的数理论研究，就和赵奕为国内导航项目卫星，设计的‘数字压缩技术的数理论’类似。

他的数研究就是为计算机算术法、软件服务的。

所以刘贺敏应该去评选信息部的院士。

科院有信息部，名字叫做信息技术科部；工程院也有信息部，名字叫做信息与电子工程部。

刘贺敏的数成果偏理论，但他在国际有影响力的成果，都是和人工智能有关，偏重于‘技术’，而不是理论性质的科，他应该去评选信息与电子工程部的院士，简单来就是‘工程院院士’。

所以刘贺敏被推荐成为院士候选人，大概率就是数物理部的参选人数不够，就被划过去凑数了。

今年很特殊。

有些消息灵通的知道赵奕会被推荐，提前就决定等两年以后了。

现在刘贺敏酸溜溜的自己中途放弃，还真就是和赵奕开个玩笑，但他主要还是给赵奕曝了‘内幕’，意思就是‘你已经被预订成为部院士’了。

看着刘贺敏发来的消息，赵奕倒是没什么特别的感觉。

评上数院士？

赵奕根本就没关心过，甚至就连哪个几个院士推荐自己成为候选人，他也就知道两、三个名字，还是从其他人嘴里听的。

在完成了费马猜想以后，他会被认为是世界第一的数家，都已经是‘世界第一’了，有没有‘数院士’的名号，又有什么区别呢？

所以赵奕只是回复了一个大笑的表情，顺便补上几个字，“恭喜你，谢啦！”

“恭喜……？”

刘贺敏快速回复。

赵奕淡然的打了十几个字，“自己退出总比被刷下来好。”

“……当我没问。”

网线对面的刘贺敏连着咳嗦了好几声，仿佛是感觉一支穿云箭，顺着网线以光速扎进了他的心房。

于此同时。

世界术界的舆论依然聚焦在赵奕的费马猜想证明上。

赵奕的证明比怀尔斯的简单许多，但实际上，一系列的证明过程，再包括之前发表的‘简化费马猜想’成果，加在一起正常发表论文，也轻松超过六十页。

普通数者想理解是很困难的，但一些的顶级的数家，尤其是对拓扑有研究的，理解起来就容易许多。

水木大的报告会结束仅仅两天，就其他顶级的数家站出来，表态赞叹赵奕的证明过程‘很精致’。

那是佛罗里达大的汤姆森。

汤姆森和赵奕见过两次，偶尔也会交流数研究，也能算的上是熟悉了，他对拓扑有一定了解，仔细听了赵奕的报告讲解，又拿到一份证明论文后，他花费了几个小时，差不多就理解了内容。

之后他对细节的论证结果进行了演算。

这是报告会中没有的。

在费马猜想的报告会中，赵奕谈到一些简单的逻辑推理，或者是一些运算、变换步骤，都是直接一带而过的，简单的逻辑推理不用多解释，能明白的人瞬间就能理解，不能明白的人讲解也没意义，运算上来则是太复杂，只是明步骤都需要很多时间，就干脆直接给出了结论。

如果给出的结论是错误的，自然就明赵奕的证明是有问题的，对细节进行验算还是很有必要的。

这个过程很耗费时间。

汤姆森用了一天半的时间，才完成了一半儿的运算，有些公式变换、函数代换的部分，因为没有详细的解答步骤，还需要自己去推断、思考，就干脆暂时选择放弃。

不过验算进行到这里，发现能简单算出来的，都是完全正确的，他也可以暂时得出结论。

“证明是严谨而精致的。”

汤姆森接受采访时道，“我之所以用‘精致’来形容，是因为证明过程逻辑清晰，没有任何多余的步骤，纵观整个过程，每一个部分的目的都很明确的。”

“虽然还没有完成所有的演算，但我相信是正确的。”

“恭喜赵奕！”

“他也是我的朋友，我很高兴