第一百二十六章 我竟然证明了角谷猜想?

投票推荐 加入书签 留言反馈

  赵奕听罗智金说的厉害,还以为‘贺门’是个大‘门派’,实际上,‘贺门’很小,也只是个‘戏娱’的称呼。
  贺明成一辈子都在做研究,不可能有太多时间带学生。
  他几年才收一个学生,只是看到好苗子心动,培养也只是对学习进行指点,就是告诉学生该学什么。
  比如,袁仲晨。
  袁仲晨在燕华大学上大一的时候,图书馆里遇到的贺明成,两人说了一会儿,贺明成发现袁仲晨很独到的见解,差不多等于‘看对眼’,他就指导袁仲晨应该学什么。
  袁仲晨大学毕业,就离开了燕华大学。
  贺明成觉得袁仲晨是最得意的弟子,其实他就带了袁仲晨有三年多,也只是告诉他该看什么书,有不懂的地方帮忙解答一下,也没要求袁仲晨毕业去干什么。
  ‘贺门’,是靠学生闯出的名号。
  七年前,贺明成的学生,应化国,他的研究成果获得国际奖项时,在颁奖的时候说道,“我要感谢我的老师贺明成!我的博士学位是在美国取得的,但贺明成才是我最尊敬的老师,我永远都是‘贺门弟子’。”
  这就是‘贺门弟子’的由来。
  其他人都把贺明成的学生称为‘贺门弟子’,但一个个人头数出来也不超过十个,放在一起翻不起多大的浪花。
  所谓‘有本事’,也不过是个研究员、教授、博导之类。
  院士就不用想了。
  贺明成做了一辈子的研究,也没混出来一个院士评级。
  这些和赵奕还扯不上关系。
  当天晚上赵奕回到酒店,仔细的过了一遍论文证明过程,明天就要真正上台演讲,来听讲的还都是大佬,他心里也是有些紧张的。
  那好像是……
  毕业设计、论文,即将接受严格答辩、审查的感觉!
  第二天赵奕起的很早。
  上午再过一遍论文内容,仔细的看发现没什么问题,才有心情出去转转。
  演讲是下午两点进行。
  时间到了中午的时候,就有很多人来到燕华大学,研究生楼下聚集着不少人,好多都是顶尖的计算机人士,还有一些数学、物理等教授也来了,一个计算机的算法,能吸引这么多人,还有个原因是‘普及性’。
  如果是非常专业性质的计算机算法,能吸引的只有计算机行业人士,其他学科的人不一定能听明白,也不知道具体有什么用。
  ‘有效与无关进位筛选’就不同了。
  ‘筛选法’就是在解决魔方计算问题的过程中总结出来的,而魔方计算问题根本不用专业人士,找个初中生,甚至小学生就能明白意思。
  当看似简单的问题,成为了世界难题,关注的人就肯定会多。
  所以来的人也有些杂。
  【看书领现金】关注vx公.众号【书友大本营】,看书还可领现金!
  时间到了一点左右的时候,赵奕也来到了研究生楼,为了减少不必要的麻烦,他被许超带着进了会议室里的小间,就一心认真的准备演讲。
  两点。
  会议室人满为患。
  赵奕准时的走进了会场,两侧摄像机顿时指了过去,他的脸上挂着淡笑,表情出轻松自然,随后控制着电脑,打开了制作好的PPT,并依照计划好的内容开始演说。
  这其实就和拿着台词演讲没什么区别,就是把推导好的过程详细的证明一遍。
  本来应该一直顺畅的结束,中途提问的时候就不对了。
  有个叫李益来的教授,总是问一下刁钻古怪的问题,他还不断反复的询问,过程中和大学数学、定理有关的步骤。
  赵奕解答的很轻松。
  当知道一些证明定理和结果后,《联络率》能帮助他轻松解决过程,他在台上侃侃而谈,越说就越有自信,让李益来看的更窝火。
  李益来挑毛病也是有原因的。
  他的研究项目是和‘数据挖掘’有关的算法,但两、三年时间都没什么进展,好不容易有了一些进展,正打算发表一篇和优化算法有关论文,打算以此申请一些科研经费。
  论文写完了。
  他的优化算法论文中,举的例子就和魔方计算有关,里面还表示说,使用他的算法可以大大简化计算量,只要继续深入的研究下去,就能找到破解魔方最简洁的算法。
  这时候魔方计算器出现了。
  李益来感觉脸被打的啪啪响,他生气的差点砸掉了电脑,想想经费申请不下来,一台电脑也是价值不菲,最后还是没舍得砸下去。
  当然。
  最重要的是努力成了无用功。
  科研领域最怕的就是研究方向相同,方向相同就会导致,有一方的研究会成为无用功。
  李益来败在一个高中生手里,心里的憋屈可想而知,他还没办法说出来,还要庆幸论文没有投稿、发表,否则真就成了笑话。
  现在看到台上的年轻高中生,其他人都是一脸的‘后生可畏’,李益来只感觉郁闷的吐血。
  ‘有效与无关进位筛选’,可不是简单就能证明出来的,中途需要给人消化理解的时间,也会给出提问的机会。
  李益来就不断的提问。
  李益来专业做算法研究,能力还是相当不错的,他提问了几次以后,忽然皱住了眉头,随后再次举手提问。
  其他人都有些看不过去了--
  “这个李益来要脸不要!”
  “为难一个学生干什么,他问的东西都很明显的,根本不应该问。”
  “老不要脸!”
  贺明成教授坐在第一排中间,他不但听得很认真,还低着头做笔记,发现李益来总是打断,提的问题还有些可笑,也不由得皱住眉头。
  李益来还是说了出来,他指出了一个真正的问题,“赵奕同学,我注意到你刚才的证明过程,说所有的可能的情况,被分析判定后,都会归为数字一,也就是只剩下一种可能。”
  “这个过程并不严谨,你用到了几个代数的定理,但最后的总结,却直接得到了结果。”
  “如果你的证明过程是对的,不就等于证明了角谷猜想?”
  李益来说完有些得意的坐了下来。
  会场顿时安静了。
  每个人都在讨论刚才的过程,因为过程有些复杂且绕脑,赵奕有一部分是用计算机的方法演示、说明的,其他人并没有注意到。
  李益来提醒了一下,大家马上都注意到了。
  角谷猜想,也叫作冰雹猜想,是一种数学猜想,说一个正整数x,如果是奇数就乘以3再加1,如果是偶数就析出偶数因数2?,这样经过若干个次数,最终都会回到1。
  许多人都声称证明了角谷猜想,还发表了一系列的论文,实际上,至今还没有‘被公认严谨’的证明过程。
  所以猜想依旧只是猜想,而不是能直接运用的定理。
  赵奕的证明过程中,用计算机演示、说明,看似过程十分的严谨,却用到了‘角谷猜想’的内容。
  这并不算错。
  李益来说的证明步骤,是数字无限大的情况下,对每一种可能进行分析判定,运用在魔方上,最多就只有27种扭动情况。
  根据日本和美国的数学家攻关研究,小于7*10^11的所有的正整数,都符合角谷猜想的规律,若是再大于7*10^11的数字,差不多只是理论上的数字,计算机想一一判定分析就非常困难了。
  另外,计算机和数学不同。
  数学需要最为严谨的证明,理论上的数字也需要证明,计算机算法最终的目的是输出正确的结果。
  哪怕是存在一点点的瑕疵,‘有效与无关进位筛选法’,放在计算机算法领域里,也已经是完善的算法,可以直接被运用起来。
  用数学思维说明有问题,能算是‘鸡蛋里挑骨头’了。
  会场议论纷纷。
  多数人承认李益来说的问题确实存在,但赵奕的证明过程,在现有的计算机性能下,是完全没有问题的,而计算机算法最重要的,就是能够输出结果,能运用于实践比理论更重要。
  结果正确,算法就能应用。
  这就足够了。
  台上。
  赵奕盯着屏幕上的过程,不断思考着李益来质疑的话。
  角谷猜想?
  好像是啊!
  如果证明过程是正确的,岂不同时说明角谷猜想是正确的,反之就是不正确的。
  但肯定百分百正确!
  赵奕相当的有信心,《联络率》可不会骗人,他完全理解了证明过程,而‘角谷猜想’就只是猜想,不是固有的公式、定理,也绝对不是《联络率》使用的‘先决条件’。
  所以……
  赵奕静静的思考有五分钟时间。
  台下众人都以为他受到了打击,罗智金教授走过来,想过来安慰下他,告诉他计算机和数学不同,不要理会李益来‘鸡蛋里挑骨头’的废话。
  这时赵奕抬起了头,认真看着李益来,随后干脆站了起来,迈步走到李益来的面前。
  其他人让出了一条路。
  “拉住他!”有人忽然喊了一声,“别让他打人啊!现在这小年轻可说不好!”
  “赶紧的!”
  “李教授,小心!”
  李益来听到喊声吓的往后推了一步,只是后面是椅子根本无路可退,他可都有五十多岁了,身体远算不上硬朗,可禁不住小年轻的一拳。
  赵奕终于有了动作。
  他激动的抓住李益来的手,非常认真说道,“谢谢你!李教授!谢谢你!真的很感谢。”
  “啊?”
  李益来有点懵。
  赵奕深吸一口气道,“要不是你提醒,我都没有发现,我竟然证明了角谷猜想!”

章节目录