爆发了……

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

……

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

反正大家都熟透了。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

然后便是论文了。

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

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

题目简单暴，但宁为觉得极。

毕竟这个结果足以证明在维空间，凸形不可能有哑铃那样的结构。所以在n维凸中随机行走，走遍整个图形的速度比之前所有人预想得更快。

宁为觉得当韩教授看到他这篇论文，应该是一定会很欣的，所以宁为对自己这篇论文满意。

但是很可惜，这是他的毕业论文，得先发给他的毕业论文导师。