在得知了这个兴奋的消息后，他先是把这论证全部看了一遍，自认为没什么问题，然后赶紧把这个消息上报给了国家。

毕竟，组织研究员们解这个李氏猜想的人，其实是国家。

之后，国家就安排教科院的院士们来亲自审核这个论证，看看夏云到底论证得对不对。

当这份李氏猜想的论证被送到教科院刘院士手中的时候，这名德高望重的刘院士先是研究了一下这个夏云的个人身份。

“一个19岁的大学；据负责人说，她并没有按照费先生留下的那部分去补足论证，而是另外开辟了新的假设方向去论证；前前后后一共花了半年不到的时间。”

说完后，这个刘院士先是倒抽了一口气，“嘶……我怎么觉得，这听起来这么玄乎呢，毕竟费先生之前花了十年才证了70，不过我对这个夏云也是早有耳闻，所以如果是她的话，可能还是有些能耐的，看了再说吧。”

然后，这个刘院士就和周围其他几个院士一起开始研究起了夏云的论证。

但是，当刘院士都还没开始正式看，就仅仅扫了一眼之后，就有些感觉到头皮发麻。

在数学历史上，不乏有世界级难度的猜想逐渐被人们论证的。

譬如瓦格斯猜想，五年前被一个大学生论证了，那个大学生写了将近三百步的论证步骤，将瓦格斯猜想给论证了出来。

譬如巴黎设想，前年被一个老教授，用了仅仅100多个步骤，就验证出来了。

一定程度上，人们觉得，这种论证的步骤越少，越能证明一个人的水平和能耐。

当然，在世界级难题面前，连论证都几乎没人可以做到，也就不会去要求浓缩这一项了。

可是，那些人在夏云的这份猜想面前，全部都不值一提了。

为什么？

因为历史上，还从来没有出现过如此令人发指的人！