作者：我思故我菜
所以说我们数学这门学科是计算机的父亲也不为过。”
不少人哈哈大笑。
卡洛斯·科尼格见状也说道：
“OK，给大家开一玩笑，现在这个开普勒猜想，很有可能在今日被证明！”
“跨越了一个多世纪的希尔伯特之问，或许能够在今天给出一个答案。下面我们掌声有请大夏国的天才数学少年周易，
当周易讲解完自己的思路以后，这个领域的数学家，可以随便提出质疑，我们的目标就是在今天，彻底证明这项跨越了数个世纪的猜想！”
...
第121章 最后的时刻
卡洛斯·科尼格话音一落，示意周易走上讲台，讲台之上有电脑，麦克风，黑板与大屏幕以及最为专业的摄像师。
不多时，随着周易缓步走上讲台，全世界的顶尖数学家全部凝视着这位不足20岁的少年。
线上与线下此刻都一片寂静，无人交谈。
如果说整个IMU大会就两个重要的事情。
第一件事情就是四位菲尔兹奖获得者的确定，第二件事就是全世界数学家都为之沸腾的开普勒猜想证明论文。
周易对着无数的镜头腼腆一笑，铿锵有力的说道：
“各位前辈你们好，我是来自大夏国渝大的周易。接下来，我将会简单介绍我的证明过程，并且回答各位前辈的提问。”
现场之人几乎都凝神静气，默默的看着周易。
周易把自己的优盘插入讲台上的电脑，然后把准备好的简易版论文拷贝了出来。
“相信各位前辈对于开普勒猜想的历史已经有了足够的了解，所以我也不再重复叙述，直接进入正题，
我的思路与初当19世纪、狄利克雷与瓦若诺伊思路有些相近，
引人了一个分拆空间的基本概念——瓦若诺伊多面体。
在空间中任意给定一个单位球的堆积，其球心构成一个离散点集。任取其中的一个球心，定义在该点的瓦若诺伊多面体为空间中所有离该点的距离不大于离任意其他球心的距离的点所构成的集合。
所以开普勒猜想是一个整体问题，是一个极限。而针对这类几何问题只能处理局部情况，因为它涉及具体计算。所以要想解决开普勒猜想、最首要的问题是如何有效地将其转化为某种局部形式，
其两两互不相交且恰好充满整个三维空间，让每一个球都包含在相应的瓦若诺伊多面体中，这样，球的体积与相应的瓦若诺伊多面体的体积之比就产生了一个局部密度。
到了这一步只须证明每一个局部密度总不大于π/√18，那么开普勒猜想就可以被证明。”
周易讲得很快，开始的时候，不是这个方向的数学家还能听懂，
但是到了中期，还能够跟得上周易这个速度的就只有在数论、在几何这些方向有较深研究的教授能够听懂。
丁剑苦笑着摇了摇头，十分小声的说道：
“我是听不懂了，我对于几何、对于数论的研究太少了，前面听得都十分吃力。”
单芃、刘刚都是苦笑，他们也听不懂了。
特别是刘刚，他是研究微分几何的，到这里都听不懂了，人与人之间的差距，竟然可有这么大。
一起来的大夏国数学家之中，只有为数不多的两三个人还在坚持听，
只是越到后面越是吃力，田嘢教授最后直接摆烂，
一边思考自己报告的内容，一边觉得还是自己研究的BSD猜想有意思。
只有上京大学教授朱小华还在努力的跟着周易的思路。…
他读了周易的论文，但是很多地方都没看懂，
碍于身份，当初周易在渝大举行讲座的时候，也没有去听。
所以现在十分吃力，感觉周易再讲一两页之后，他可能就可以彻底躺平，思考自己报告的内容有没有哪里还可以进行改进的。
周易翻到后面，大声的说道：
“这种新的理论，我称之为周氏几何，我是从当初项义教授与黑尔斯教授一些论文得到的启发，也是从费耶什·托特的思想中获得的灵感，
有些相同，但是又有些不同，所以接下来，才是我论文的核心地方，也是证明开普勒猜想的一把利剑。”
之前的工作，周易只是简单的把论文的准备工作以及用到的数学方法做了一个介绍，以及给出论文中一些‘显然’的具体证明。
接下来才是核心！
丘城同与德利涅、米尔诺三人连着麦，
米尔诺一脸感慨说道：
“我咋就没想到利用他们二人上千种的线性优化，创立一种新的几何论出来呢，当初看到这一部分的时候，我拍案叫绝，简直是一个天才的想法，
关键语言的叙述简洁有力，没有多余的累赘，也没有逻辑不通的地方。”
德利涅也夸奖道：
“确实是一个新的内容，可以说，周易开创了一个新的几何分支，只是还很稚嫩，需要人往里面添砖加瓦。”
丘城同一脸得意的笑，说道：
“怎么说，我眼光还不错吧？”
米尔诺翻了一个白眼，恨恨的骂道：
“我就想不通了，我哪里会比你丘城同差，这样吧，周易在你那里读研，来我这里读博？”
丘城同罕见的没有第一时间拒绝，而是说道：
“我会认真思考你的想法。”
在会议大厅主席台下的舒尔茨看着屏幕，嘴上小声对着旁边的陶哲轩说道：
“你们祖国的数学家出了一个很了不得人，比起望月新一证明ABC猜想那不知所以的证明，
我更愿意认为周易的证明是完美无瑕的。”
陶哲轩也十分小声的说道：
“我研究方向不在此，所以有些证明看得也是云里雾里，甚至很多的证明过程更是两眼抓黑，
不瞒你说，从周易第一时间发表论文，到现在，足足三个月，我都没能看明白，
现在听了之后，也还是不懂。”
舒尔茨有些赞同，数学这个东西，越到了后期，研究的方向不同，如同隔了一个银河。
“继续认真听吧，我感觉这篇论文的意义远不止如此。”
舒尔茨带着一丝惊叹的语气说道。
此刻周易讲到了论文最核心的地方，语速也十分缓慢，讲解得也更为细致，
里面的辅助定理证明思路，
用到了18年菲尔兹奖获得者比尔卡尔证明BAB猜想之中运用的思路。
只见周易在台上说道：…
“这种方法，也算是搭起了数论、代数几何与分析的联系。”
当周易说到了这里，无数人沉默。
难不成数学真的有一个大统一？
“这不过只是浅显的应用，距离朗兰兹纲领，还有很长的路要走，至少BSD猜想与黎曼猜想得证明出来，才有机会。”
周易罕见的说了几句其他的话，然后继续回到论文的本身。
这个过程，没人打断周易，全部屏息凝气的倾听。
周易足足讲了两个小时，在这期间，没任何人发言打断。
全部被周易那精悍的证明，开创的新几何与复杂的计算震惊。
“综上所述，我们可以证明每一个局部密度总不大于π/√18，也即开普勒猜想成立！”
当周易说完这一句话之后，便不再说话。
而是等待着各路几何方面的专家的质疑与询问。
这时候大会主席卡洛斯·科尼格走上讲台说道：
“好了，周易精悍的证明已经讲解完毕，现在在座的诸位，以及线上未能参加的同行们，可以提出疑问了。”
这时，所有人都一愣，提问？
确实挺多的疑问。
但是研究这个方向最权威的几个教授都没提问，不少人也不好意思提问。
大夏国的宗明教授、美籍华裔的项义教授以及台下不少维布伦将获得者，都没提问。
一时间，气氛有些尴尬住了。
这时候，乌克兰的维娅佐夫斯卡开口说道：
“大家都是听懂了吗，反正我有些地方还不是很明确，我来抛砖引玉吧。”
“周易，你文中涉及到的一百种线性规划，以及根据球体定义的赋值函数，二者之间用到了计算机的辅助，
你不觉得这是一种对毕达哥拉斯学派的一种的质疑吗？
开普勒本人的数学思想与毕达哥拉斯一脉相承，属于数学唯美主义一派。
他认为，数学是惟最为高级的形而上的思维科学，它判断命题真伪的完关境界应该是严密的逻辑推理和简洁的运算原则。用计算机这种冰冷的程式化方式解决他留下来的旷世难题，无疑矮化了人类智慧的高度，这是让人难以接受的结果。”
维娅佐夫斯卡的质疑，也是周易文中最为让人诟病的地方，除非有人亲自运算过，
不然只能靠计算机得出结果。
周易看着这发言，有些熟悉，这不就是当初某个黑子在推特上的质疑吗。
不少人也是纷纷看着周易，显然是等周易一个说法，如果这点没问题，
那就可以宣布，开普勒猜想证明成功！
周易闻言，说道：
“其实类似这种的线性规划有上千种，但是经过引入的新的几何论之后，缩减为了一百多种，
上一篇：不装了，我是厨神我摊牌了！
下一篇：人世见