”
……
梁秋实加的群很多，而发的群自然也多，其中也丝毫不乏数学方面的群。
所以没过多久，【萧总师又解决了冰雹猜想】的话题，便直接在国内的数学圈中又传开了。
国内的数学学者，或者是学生们，顿时就都震惊了。
就比如梁秋实所加的其中一个叫【华国数学学会交流群】的群里面，相关的讨论就直接爆了。
这个群顾名思义，自然就是由华国数学学会所组织起来的，是此前梁秋实参加了一个学术会议，然后别人得知他是萧易的学生之后，便邀请他进来了。
而现在，梁秋实自然也将消息发在了这个群里面，顿时间，就让这个群冒出了一堆人。
【啊？真的假的？萧教授又把冰雹猜想给搞定了？】
【是真的，萧教授的个人网站上面就能够看到了！（截图.jpg）】
见到有人确确实实发了萧易个人网站的截图后，顿时就让他们更加激动了。
【我超！我也看到了，是真的，萧教授牛逼！】
【我已经把论文下载了，沃日，竟然是真的！】
【不是，萧总师这才把可控核聚变给搞出来没多久吧？这才几个月，然后又顺便把冰雹猜想给搞定了？他是怎么做到的？】
【你看，又问，还是少见多怪了。】
【看了一下，总共有六十多页，也不知道萧教授是不是真的成功证明了。】
【开玩笑，萧教授都发论文了，你觉得是不是真的证明了？特别是再看看这个摘要。】
说着，一张论文摘要的截图就发在了群里面。
摘要很简单，直接明了：本文通过表示论将冰雹猜想转化为关于表示空间中不变向量维数的一个不等式问题。通过建立维数的递推公式并运用向量空间的性质，进而证明不变向量空间的维数存在一个统一的上界，从而推出了冰雹序列周期轨道分类树的有限性，完成了冰雹猜想的证明。
随后，群里面的众人就开始猜测起来，萧易到底是如何完成证明的。
然而，很快，他们就放弃了。
表示论？
不变向量维数的不等式问题？
冰雹序列周期轨道分类树？
这些对于冰雹猜想的研究来说完全都属于全新的领域和名词，让他们这些想要通过摘要来推导萧易证明过程的人，完全放弃了。
【不是，萧神这又是什么证明路数啊？从表示论来证明冰雹猜想？这玩意儿真的能做到？】
【真的是看不懂一点，萧神的思路，和咱们从来都是不一样的。】
【……】
在这个群内的众多数学学者们讨论的过程中，也有越来越多的人知道了这件大事。
自然，消息也最终传到了国外。
国际数学界，又要热闹了。