当初05年的老证明太长，又无法验证，所以这位数学家通过fomalverification的方法，用计算机进行了验证，本质上做的是计算机形式验证方面的工作，不是正式证明。

周易需要做的工作就是先正式证明开普勒猜想，继而解决十八问。

之前周易试过用积分试着完全领悟，但是系统提示积分不够。

现在周易也试了一次，积分也不够。

要知道，一个多月以来，周易数学水平已经直线上升了，积分竟然还不够，这就很说明问题了。

而且现在还不是发出去的时候，先镇压了水木上京那帮本科生再说。

天才之名，怎么也得镇压一批天骄才行。

不然貌似的发出去，人家随口问几个问题就会露馅。

接下来的生活周易就过得十分充实了，图书馆、上课、食堂三点一线。

不过只是上课周易是在自己看自己的，不听老师的。

各个学科老师也是睁一只眼闭一只眼，因为唐平教授与缪来院长都来打过了招呼。

都说别影响周易，让他一个人自学。

各科老师内心发着狠，期末考试难度绝逼要提升一档次，就算是收拾不了周易，

你们这帮周易的同学我还收拾不了吗？

要怪就怪你们这一届中出了周易这个妖孽吧。

十月十一日，周易吃完了晚饭就开始往文学院那边的大礼堂走去，

之前夏雪叫周易去看他们的迎新晚会，晚上七点就要开始。

周易一边走一边嘀咕：

“也不知道要不要入场券什么的，到时候要是进不去就有些尴尬了。”

然而并没有周易想得那些狗血事情发生，并没有人阻拦周易进去看晚会。

周易找了一个中间的位置，伪装成了文学院的学生，然后拿出一本数学书开始看了起来。

显然这种晚会对周易的吸引力并不是很大。

不过周易一边看书一边感慨，

必须得买个笔记本电脑或者平板了，随着知识不断的增加，必须得在一些期刊看论文才行了。

或者一些资料就是PDF，用平板或者笔记本方便很多，打印出来带着一大本厚厚的书，多少有些不方便。

学校的钱也快发下来了，是时候考虑买一个了。

就在周易一边看书一边胡思乱想的时候，文学院的迎新晚会已经开始了。

周易也放下了书，看似欣赏了起来，

男女主持人都是身着汉服，看上去像是一对金童玉女，十分般配。

不多时，一段古典舞就开始了，一些身穿汉服的小姐姐在台上跳舞，十分好看。

周易也觉得古代汉服确实美，接下来是朗诵，小品，

然后是各个同学的才艺展示。

什么古筝表演、琵琶表演、洞箫吹奏、二胡演奏等等，节目很多，十分精彩。

不得不让周易感叹，这些同学不仅学习成绩好，才艺也是多才多艺，农村出来的他，好像除了学习，啥也不会了。

就在这时，主持人说道：

“接下来请2021级最高分新生夏雪用竹笛为我们演奏一曲《美丽的神话》，大家热烈欢迎。”

这时候周易听到旁边有人说道：

“听说这个夏雪高考考了685分，放弃了读上京大学的机会，来渝大文学院。”

“卧槽，真的假的？685啊，历史类685，那可是妥妥进上京大学啊，放弃这种机会来渝大，莫不是脑子有问题。”

“上京大学与渝大可是天差地别，一个是真龙，一个是泥鳅，差得海里去了。”

“听说她不是很喜欢北方，不想离开家乡，而且人家也不差，刚刚来大学就拿了全国A类赛事数学建模全国冠军。”

“嘶！”