第130章 好巧的毕论选题(2/3)

要用到统计学的内容，就能解决这道难题。而如果解决掉这个问题，他的统计学毕业论文也能完成了，同时老韩大概近期也就无事可做了，正好能遂了他的心意重新加入EDA项目组。

是的，这一刻宁为只觉得这个世界有些事情太巧了。

遍寻了好久的毕业论文命题，竟然因为之前跟余兴伟一次随口的约定，然后要来了一个开题报告就解决了。

不说别的，如果他此时大脑内的构思经得起验证，数学界又的确还没解决这个猜想的话，那么这篇论文别说SCI一区了，再发个顶刊似乎问题也不大。

更重要的是，实验室好像又能多个成果了。

宁为下意识的看了看韩教授申请的经费，三十万。

“额，陆教授，我突然想到点急事，先回寝室了。其他事情就按照您考虑的办吧，我都没问题。”宁为说道，顺手将韩教授的开题报告放回到陆昌斌的桌上。

“啊？急事？”陆昌斌有些疑惑，这小家伙刚刚还在不紧不慢的看着老韩的报告，怎么突然就有急事了？

“对呀，很急。”宁为道。

“行，那你赶紧去吧。”陆昌斌连忙道。

“那陆教授再见。”

……

宁为匆匆赶回寝室，寝室里三个人也正在桌前看书的看书，写论文的写论文。

没办法，985大学毕业这最后一关真不是那么好过的，尤其是对于本来便对数学不太感兴趣的学渣来说，写论文有时候真需要一个公式一个公式的去查，一页书一页书的翻，更可气的是还经常找不到要用的知识点。

好在几个人心里都有点数，没让宁为指导什么，自己不思考，答辩那关过不了，更恶心。

跟室友们打了声招呼，宁为唤醒了电脑。

这些天在寝室里，三月这只虚拟小奶猫已经成功获得了寝室里几个人的喜爱，尤其是这只奶猫急眼时，瞪着眼睛唬人的模样，特别受欢迎。

不过跟余兴伟一样，另外三个人没谁把三月当成一个智能展示的程序看待，只是将它当成宁为在实验室里一个人住无聊时，开发的一个宠物小程序。

徐瑞轩还提过把程序拷贝到他电脑上，给许墨一个惊喜，但直接被宁为拒绝后，便也绝了这心思。

宁为偶尔会对着三月说话，也被三人当做是学神的一种消遣。

毕竟能力出众的家伙，有点怪癖多少是能被理解的。

比如宁为他不止有逗虚拟猫的怪癖，还有藏拙的怪癖，而且一藏就是三年。

这是三个人在宁为住在实验室时每天晚上一起夜谈会时候探讨出的结论。

毕竟他们无法接受宁为突然开窍的事实，最合理的解释就是这三年里，宁为一直用他高智商的头脑，跟极具洞察力且饱含关爱的目光，默默注视着三个智障，并努力的将其智商压制到能完美融入他们。

直到大四，大家就要分开，加上免推生遭遇不公的刺激，终于让这孩子爆发了……

这样一来，一切都能有一个完美的解释。

……

宁为可半点不关心寝室里三个人是怎么看他的。

反正大家都熟透了。

此时他已经将三月的程序暂时退出，然后开始在图书馆的检索系统里查找关于关于KLS猜想的内容。

很快他便在NeurIPS2016会议报告中找到了韩教授开题报告中提到过的那篇论文，通过这篇论文他大概了解了前人解决这个问题的思路，然后开始跟脑海的解决方法对比。

经过大脑的仔细分析后，宁为首先开始编程，他需要验证自己的想法是否正确。

计算机的深度学习，如果从统计学角度，基本上可以看做是递归的广义线性模型。

简单来说，宁为大脑里引申出的思路就是通过采用递归法来降低KLS因子上界，经过反复迭代之后，将KLS猜想问题再次拉回到d0的上界，从而解决这个难题。

现在宁为已经不再满足于大脑里有想法就直接把论文写出来，而是要先自己动手来尝试着解决问题之后，在来撰写论文。

“咦？宁为你又干嘛呢？”徐瑞轩起身倒水，正好看到了宁为敲打的内容，随口问了句。

“刚刚确定了毕论的选题，先来做个小实验。”宁为头也不回的答道。

这种状态大家都已经习惯了，当宁为专注于某件事的时候，经常会目中无人。

“呼……原来牛人写论文之前都要先编程验证的，爱了爱了……”徐瑞轩感叹了句，然后径直回到自己的位置上。

“我去，这么嚣张的吗？让我来看看……”

一句话吸引了另外两人来围观，看过之后，又是两声“爱了爱了”，然后回到自己的位置。

没办法，看不太懂，但不感叹两句又会显得自己不太聪明的样子。

当然，这点小干扰，根本不会影响到宁为什么。

用了一下午时间他便大概验证了自己的思路的确是正确的，用这种方法的确能证明KLS因子是一个跟维度无关的常数。也就是说，不管升级到哪个维度，的确存在一个常数，让凸体至少存在一个切面的面积大于这个常数。

然后便是论文了。

经过了亲自动手验证之后，论文写起来更加行云流水。

拜托刘聪带了晚饭，花费了大概五个小时，宁为便搞定了这篇他花费一周时间去学习，又从韩教授课题那里获得了灵感的毕业论文——《利用递归法证明KLS因子是一个与维度无关的常数》