手机浏览器扫描二维码访问
当初05年的老证明太长,又无法验证,所以这位数学家通过fomalverification的方法,用计算机进行了验证,本质上做的是计算机形式验证方面的工作,不是正式证明。
周易需要做的工作就是先正式证明开普勒猜想,继而解决十八问。
之前周易试过用积分试着完全领悟,但是系统提示积分不够。
现在周易也试了一次,积分也不够。
要知道,一个多月以来,周易数学水平已经直线上升了,积分竟然还不够,这就很说明问题了。
而且现在还不是发出去的时候,先镇压了水木上京那帮本科生再说。
天才之名,怎么也得镇压一批天骄才行。
不然貌似的发出去,人家随口问几个问题就会露馅。
接下来的生活周易就过得十分充实了,图书馆、上课、食堂三点一线。
不过只是上课周易是在自己看自己的,不听老师的。
各个学科老师也是睁一只眼闭一只眼,因为唐平教授与缪来院长都来打过了招呼。
都说别影响周易,让他一个人自学。
各科老师内心发着狠,期末考试难度绝逼要提升一档次,就算是收拾不了周易,
你们这帮周易的同学我还收拾不了吗?
要怪就怪你们这一届中出了周易这个妖孽吧。
十月十一日,周易吃完了晚饭就开始往文学院那边的大礼堂走去,
之前夏雪叫周易去看他们的迎新晚会,晚上七点就要开始。
周易一边走一边嘀咕:
“也不知道要不要入场券什么的,到时候要是进不去就有些尴尬了。”
然而并没有周易想得那些狗血事情发生,并没有人阻拦周易进去看晚会。
周易找了一个中间的位置,伪装成了文学院的学生,然后拿出一本数学书开始看了起来。
显然这种晚会对周易的吸引力并不是很大。
不过周易一边看书一边感慨,
必须得买个笔记本电脑或者平板了,随着知识不断的增加,必须得在一些期刊看论文才行了。
或者一些资料就是PDF,用平板或者笔记本方便很多,打印出来带着一大本厚厚的书,多少有些不方便。
学校的钱也快发下来了,是时候考虑买一个了。
就在周易一边看书一边胡思乱想的时候,文学院的迎新晚会已经开始了。
周易也放下了书,看似欣赏了起来,
男女主持人都是身着汉服,看上去像是一对金童玉女,十分般配。
不多时,一段古典舞就开始了,一些身穿汉服的小姐姐在台上跳舞,十分好看。
周易也觉得古代汉服确实美,接下来是朗诵,小品,
然后是各个同学的才艺展示。
什么古筝表演、琵琶表演、洞箫吹奏、二胡演奏等等,节目很多,十分精彩。
不得不让周易感叹,这些同学不仅学习成绩好,才艺也是多才多艺,农村出来的他,好像除了学习,啥也不会了。
就在这时,主持人说道:
“接下来请2021级最高分新生夏雪用竹笛为我们演奏一曲《美丽的神话》,大家热烈欢迎。”
这时候周易听到旁边有人说道:
“听说这个夏雪高考考了685分,放弃了读上京大学的机会,来渝大文学院。”
“卧槽,真的假的?685啊,历史类685,那可是妥妥进上京大学啊,放弃这种机会来渝大,莫不是脑子有问题。”
“上京大学与渝大可是天差地别,一个是真龙,一个是泥鳅,差得海里去了。”
“听说她不是很喜欢北方,不想离开家乡,而且人家也不差,刚刚来大学就拿了全国A类赛事数学建模全国冠军。”
“嘶!”
家长里短日常文,慎入!年轻的三金影帝高峰期宣布退圈。意外绑定种养殖系统的他,过起了养娃种田的悠闲生活。...
许敬文魂穿南韩,开局反杀了欲谋害自己的双胞胎哥哥,并凭着一模一样的长相顶替死鬼哥哥的身份窃取了他检察官的位置,房子,妻子。李代桃僵的他决定当个好人,要把贪官和罪犯全都赶尽杀绝,结果上班第一天却发现贪官竟然是他自己PS浪子主角,行事略屑,纯粹爽文,不喜勿入,老作者,不投毒,已有完本万定老书。...
重生为一名氪星人,卡恩该怎么做?是与克拉克肯特一般,成为地球的守护者,被称为人间之神?还是与达克赛德一样,征服宇宙,征战四野,做那睥睨天下的王者?卡恩想说,我只想随心所欲,做我自己...
张均受嫁给富二代的班花邀请参加同学聚会,却在去参加聚会的火车上发现自己能透视,还偶遇了同学校的学姐,随即跟着学姐去参加了赌石节,在赌石节上打脸追求学姐的富二代,赚到两百万,邀请学姐和自己一起参加同学会...
瑶瑶,我们分手吧。我是念念,我不叫瑶瑶。啊,念念啊,对不起,你等一下。…念念是吧,不好意思,你也分。哥,您这哪是分手啊,您这简直就是公司裁员啊。简介无力,请直接移步正文,不好看请砍我!!!已有百万字精品老书,我的恋爱画风有些不正常喜欢的可以去支持一下...
在宋末打了十年仗的姜森,穿越到了1976年的香江,一个港综和现实相结合的世界,开启了一段全新且永无止境的旅程!PS本书诸天文,又名从港综开始的诸天,不走剧情线,主角做事随心所欲,简单粗暴,不喜勿入。...