当初05年的老证明太长，又无法验证，所以这位数学家通过fomalverification的方法，用计算机进行了验证，本质上做的是计算机形式验证方面的工作，不是正式证明。
周易需要做的工作就是先正式证明开普勒猜想，继而解决十八问。
之前周易试过用积分试着完全领悟，但是系统提示积分不够。
现在周易也试了一次，积分也不够。
要知道，一个多月以来，周易数学水平已经直线上升了，积分竟然还不够，这就很说明问题了。
而且现在还不是发出去的时候，先镇压了水木上京那帮本科生再说。
天才之名，怎么也得镇压一批天骄才行。
不然貌似的发出去，人家随口问几个问题就会露馅。
接下来的生活周易就过得十分充实了，图书馆、上课、食堂三点一线。
不过只是上课周易是在自己看自己的，不听老师的。
各个学科老师也是睁一只眼闭一只眼，因为唐平教授与缪来院长都来打过了招呼。
都说别影响周易，让他一个人自学。
各科老师内心发着狠，期末考试难度绝逼要提升一档次，就算是收拾不了周易，
你们这帮周易的同学我还收拾不了吗？
要怪就怪你们这一届中出了周易这个妖孽吧。
十月十一日，周易吃完了晚饭就开始往文学院那边的大礼堂走去，
之前夏雪叫周易去看他们的迎新晚会，晚上七点就要开始。
周易一边走一边嘀咕：
“也不知道要不要入场券什么的，到时候要是进不去就有些尴尬了。”
然而并没有周易想得那些狗血事情发生，并没有人阻拦周易进去看晚会。
周易找了一个中间的位置，伪装成了文学院的学生，然后拿出一本数学书开始看了起来。
显然这种晚会对周易的吸引力并不是很大。
不过周易一边看书一边感慨，
必须得买个笔记本电脑或者平板了，随着知识不断的增加，必须得在一些期刊看论文才行了。
或者一些资料就是PDF，用平板或者笔记本方便很多，打印出来带着一大本厚厚的书，多少有些不方便。
学校的钱也快发下来了，是时候考虑买一个了。
就在周易一边看书一边胡思乱想的时候，文学院的迎新晚会已经开始了。
周易也放下了书，看似欣赏了起来，
男女主持人都是身着汉服，看上去像是一对金童玉女，十分般配。
不多时，一段古典舞就开始了，一些身穿汉服的小姐姐在台上跳舞，十分好看。
周易也觉得古代汉服确实美，接下来是朗诵，小品，
然后是各个同学的才艺展示。
什么古筝表演、琵琶表演、洞箫吹奏、二胡演奏等等，节目很多，十分精彩。
不得不让周易感叹，这些同学不仅学习成绩好，才艺也是多才多艺，农村出来的他，好像除了学习，啥也不会了。
就在这时，主持人说道：
“接下来请2021级最高分新生夏雪用竹笛为我们演奏一曲《美丽的神话》，大家热烈欢迎。”
这时候周易听到旁边有人说道：
“听说这个夏雪高考考了685分，放弃了读上京大学的机会，来渝大文学院。”
“卧槽，真的假的？685啊，历史类685，那可是妥妥进上京大学啊，放弃这种机会来渝大，莫不是脑子有问题。”
“上京大学与渝大可是天差地别，一个是真龙，一个是泥鳅，差得海里去了。”
“听说她不是很喜欢北方，不想离开家乡，而且人家也不差，刚刚来大学就拿了全国A类赛事数学建模全国冠军。”
“嘶！”