这个问题400年没人解开了,谁都知道它是对的,可是谁都证明不了,因此也被叫做数学家之耻。”
“你知道就更好办了。”杜立鼎打个响指,“1900希尔伯特把它列为自己的23个问题里面的第18个,这是开普勒猜想的意义所在。到了1953年,Fejes Tóth做出来了进一步的证明,他把这个问题进一步简化,变成了一个可以用穷举法解决的问题。而后,从1996年开始,美国匹兹堡大学的黑尔斯教授和自己的学生弗格森,通过电脑程序完成了5000个不同的构型,对每一个构型接一个含150个变量的线性规划问题,他们用了两年时间,生成了250页的笔记和3G的数据,解开了这道题。”
这一次,杜立鼎说的就连杜立言都不知道了,他皱着眉头听着杜立鼎说完这些,一方面对这些数学家们颇为佩服,可是另外一方面也奇怪杜立鼎到底从哪里知道这些的。
自己的弟弟什么时候开始关心数学了?
“但是这道题解开之后,却也面对着一个很大的问题:他是穷举法解出来的,因此人力很难检验他的计算是否正确。98年他向杂志投稿,说自己解开了这个题,Fejes Tóth的儿子为首的审稿委员会对他的稿子已经审了两年了,可是还是没有结果——而我估计他再搞两年也不会有结果。”
“所以,你想要搞一个算法程序出来,帮助黑尔斯教授检验他的解题思路是否正确?”听到这里,杜立言已经听明白了,“穷举法计算量太大了,想要靠人力解决根本不可能。而要是用电脑程序进行检验,就要简单的多了——这倒是个思路,可你做得到吗?”
“技术上没有问题——不过对于这个程序该如何做,我还是需要你帮我一些忙,我们一起把它做出来,然后放到arXiv.org网上去——这个专业的数学学术网站你知道吧?我最喜欢互联网的就是这一点,它对我来说完全没有门槛可言,比杂志什么的好用多了。这样一来,我们就可以轰动整个数学界,以燕大的好面子的习惯,他们百分之百会把我们收入门墙,不敢开除我们。”
对于该如何应付燕大可能的举措,杜立鼎也早就有了自己的计划了。用顶级的学术成就堵住燕大的嘴,是他想到的最好的办法。
高考移民不是个大事,算不得什么丑闻。给钱,找人都可以轻易摆平这事,可是却总让杜立鼎觉得不够光彩。比起来犯了错就认错,这一回他更想要死硬到底,知错不改:一方面这是装逼需要,另外一方面,这件事情经历了太多的坎坷,他也是不想再退缩了。
直接砸出去学术成就,把一切问题砸碎算了。我就是高考移民了,可你们就是无可奈何——这才是杜立鼎想要的结果。
当然,顶级的学术成就其实不是那么容易做出来的,不过对于有着智脑在手的杜立鼎来说,这些却不是什么问题:未来几十年内的自然科学学术成就,杜立鼎这里全都有备份,无论是想要抄什么,他都可以在弹指之间就做到。
只是可以轻易做到这件事,他也还是认真的挑选了一番,找出来了一个影响力颇大,同时自己做出来又不显得突兀的成就来抄袭:毕竟两个高中生搞出来庞加莱猜想或者是黎曼猜想……这种事情听起来就太疯狂了,杜立鼎自然要规避一下:他以后还想要在这行里混呢,怎么能让人说自己出道即巅峰?
他选择的是一个看起来比较简单,比较投机取巧的事情:他要做一个电脑程序,去检验一篇数学论文。
这个软件其实颇为简单,在智脑的资料库里,开普勒猜想的论文到了2002年还是没有完成审核,最后黑尔斯教授一怒之下自己做了两个软件,完成了这个工作。而现在,杜立鼎只是需要把黑尔斯教授的软件提前拿出来而已,难度基本为零。
比起来那些高大上的自己证明某个定理,杜立鼎做的事情显然就要简单的多了。尤其是考虑到杜立鼎本身开着互联网公司的背景,他自己制作出来了一套电脑程序看起来也明显更加可信。靠着这个东西,杜立鼎也足以让燕大注意到,自己兄弟两个可不是随便开除就算完事的小卒子,如果拒绝他们入学,那么燕大也会后悔很久的。
杜立鼎相信,面对这样的情况,燕大会对他们兄弟妥协的。而就算是不妥协,他这么一搞也足以让兄弟两个名声大噪,被别的高校注意到。到时候顺利的话,他们说不定能够去港大之类的大学,那燕大不录取的影响也就没有多大了——毕竟就学校水平来说,港大也不比燕大差。
至于说这么做会对别的数学家造成什么影响……反正他们都是数学家,看到数学问题被提前解开了只会更加高兴,难道还会因此不满不成?
靠着这个,杜立鼎估计就不会再有麻烦了。而这也是他正式开始走向未来发展的重要步骤。赚到了大笔的钱,同时也还得有最为顶级的名望——这些东西全都凑在一起,未来才真的不可限量。