“一个19岁的大学；据负责人说，她并没有按照费先生留下的那部分去补足论证，而是另外开辟了新的假设方向去论证；前前后后一共花了半年不到的时间。”
说完后，这个刘院士先是倒抽了一口气，“嘶……我怎么觉得，这听起来这么玄乎呢，毕竟费先生之前花了十年才证了70%，不过我对这个夏云也是早有耳闻，所以如果是她的话，可能还是有些能耐的，看了再说吧。”
然后，这个刘院士就和周围其他几个院士一起开始研究起了夏云的论证。
但是，当刘院士都还没开始正式看，就仅仅扫了一眼之后，就有些感觉到头皮发麻。
在数学历史上，不乏有世界级难度的猜想逐渐被人们论证的。
譬如瓦格斯猜想，五年前被一个大学生论证了，那个大学生写了将近三百步的论证步骤，将瓦格斯猜想给论证了出来。
譬如巴黎设想，前年被一个老教授，用了仅仅100多个步骤，就验证出来了。
一定程度上，人们觉得，这种论证的步骤越少，越能证明一个人的水平和能耐。
当然，在世界级难题面前，连论证都几乎没人可以做到，也就不会去要求浓缩这一项了。