规则系学霸(校对)第200部分在线阅读

其他人都有些看不过去了--
“这个李益来要脸不要！”
“为难一个学生干什么，他问的东西都很明显的，根本不应该问。”
“老不要脸！”
贺明成教授坐在第一排中间，他不但听得很认真，还低着头做笔记，发现李益来总是打断，提的问题还有些可笑，也不由得皱住眉头。
李益来还是说了出来，他指出了一个真正的问题，“赵奕同学，我注意到你刚才的证明过程，说所有的可能的情况，被分析判定后，都会归为数字一，也就是只剩下一种可能。”
“这个过程并不严谨，你用到了几个代数的定理，但最后的总结，却直接得到了结果。”
“如果你的证明过程是对的，不就等于证明了角谷猜想？”
李益来说完有些得意的坐了下来。
会场顿时安静了。
每个人都在讨论刚才的过程，因为过程有些复杂且绕脑，赵奕有一部分是用计算机的方法演示、说明的，其他人并没有注意到。
李益来提醒了一下，大家马上都注意到了。
角谷猜想，也叫作冰雹猜想，是一种数学猜想，说一个正整数x，如果是奇数就乘以3再加1，如果是偶数就析出偶数因数2?，这样经过若干个次数，最终都会回到1。
许多人都声称证明了角谷猜想，还发表了一系列的论文，实际上，至今还没有‘被公认严谨’的证明过程。
所以猜想依旧只是猜想，而不是能直接运用的定理。
赵奕的证明过程中，用计算机演示、说明，看似过程十分的严谨，却用到了‘角谷猜想’的内容。
这并不算错。
李益来说的证明步骤，是数字无限大的情况下，对每一种可能进行分析判定，运用在魔方上，最多就只有27种扭动情况。
根据日本和美国的数学家攻关研究，小于7x10^11的所有的正整数，都符合角谷猜想的规律，若是再大于7x10^11的数字，差不多只是理论上的数字，计算机想一一判定分析就非常困难了。
另外，计算机和数学不同。
数学需要最为严谨的证明，理论上的数字也需要证明，计算机算法最终的目的是输出正确的结果。
哪怕是存在一点点的瑕疵，‘有效与无关进位筛选法’，放在计算机算法领域里，也已经是完善的算法，可以直接被运用起来。
用数学思维说明有问题，能算是‘鸡蛋里挑骨头’了。
会场议论纷纷。
多数人承认李益来说的问题确实存在，但赵奕的证明过程，在现有的计算机性能下，是完全没有问题的，而计算机算法最重要的，就是能够输出结果，能运用于实践比理论更重要。
结果正确，算法就能应用。
这就足够了。
台上。
赵奕盯着屏幕上的过程，不断思考着李益来质疑的话。
角谷猜想？
好像是啊！
如果证明过程是正确的，岂不同时说明角谷猜想是正确的，反之就是不正确的。
但肯定百分百正确！
赵奕相当的有信心，《联络率》可不会骗人，他完全理解了证明过程，而‘角谷猜想’就只是猜想，不是固有的公式、定理，也绝对不是《联络率》使用的‘先决条件’。
所以……
赵奕静静的思考有五分钟时间。
台下众人都以为他受到了打击，罗智金教授走过来，想过来安慰下他，告诉他计算机和数学不同，不要理会李益来‘鸡蛋里挑骨头’的废话。
这时赵奕抬起了头，认真看着李益来，随后干脆站了起来，迈步走到李益来的面前。
其他人让出了一条路。
“拉住他！”有人忽然喊了一声，“别让他打人啊！现在这小年轻可说不好！”
“赶紧的！”
“李教授，小心！”
李益来听到喊声吓的往后推了一步，只是后面是椅子根本无路可退，他可都有五十多岁了，身体远算不上硬朗，可禁不住小年轻的一拳。
赵奕终于有了动作。
他激动的抓住李益来的手，非常认真说道，“谢谢你！李教授！谢谢你！真的很感谢。”
“啊？”
李益来有点懵。
赵奕深吸一口气道，“要不是你提醒，我都没有发现，我竟然证明了角谷猜想！”
第一百二十七章
这就……太监了？
1976年的一天，《华盛顿邮报》的头版头条报道了一条数学新闻。
文中记叙了这样一个故事：70年代中期，美国各所名牌大学校园内，人们都像发疯一般，夜以继日，废寝忘食地玩弄一种数学游戏。这个游戏十分简单：任意写出一个自然数N(N≠0)，并且按照以下的规律进行变换：
如果是个奇数，则下一步变成3N+1。
如果是个偶数，则下一步变成N/2。
不单单是学生，甚至连教师、研究员、教授与学究都纷纷加入。
为什么这种游戏的魅力经久不衰？因为人们发现，无论N是怎样一个非零自然数，最终都无法逃脱回到谷底1。准确地说，是无法逃出落入底部的4-2-1循环，永远也逃不出这样的宿命。
每个人可以从任何一个正整数开始，连续进行如下运算，若是奇数，就把这个数乘以3再加1；若是偶数，就把这个数除以2。
这样演算下去，直到第一次得到1才算结束。
是不是每一个正整数按这样的规则演算下去都能得到1呢？这就是叙古拉猜想，也叫“冰雹猜想、角谷猜想”，在包括后来的克拉茨问题，都是数学界有趣的‘3X+1’问题。
国外喜欢把‘3X+1’问题，叫做叙古拉猜想或者冰雹猜想，国内则叫做‘角谷猜想’，因为是一个叫角谷的人，把问题传到了国内。
这个问题听起来简单，想证明出来却不容易。
几十年来，许多顶级数学家投入大量的精力，也没能做出严谨的证明。
所以猜想依旧只是猜想。
……
当李益来说赵奕的过程，运用了一部分角谷猜想，就让会场里的人觉得，‘有效与无关进位法’，是存在理论漏洞的。
除非有一天角谷猜想被证明出来，否则‘有效与无关进位法’永远存在‘可能’的漏洞。
所以说数学理论，才是一切科学的基础。
会场里的人没有想到的是，赵奕做出的反应竟然是，激动地感谢李益来教授，还表示‘自己都没发现证明出了角谷猜想’？
这个转折实在很惊人。
周围一群人长大了嘴巴，都不知道该做出什么样的反应。
赵奕感谢了的李益来教授后，面色带着激动回到了台上，面对一种疑惑、好奇的目光，他并没有再谈角谷猜想，而是继续谈着‘有效与无关进位法’。
这时候差不多快要结束了。
包含‘角谷猜想’的证明步骤，就是‘有效与无关进位法’最为关键的地方，只要步骤过去了，剩下的理解起来就容易了。
“……所以就能确定这个步骤对整体进度是有害的，我们就可以选择放弃！”
“这就是我的有效与无关进位法！”
“以上，就是我的证明！”
“谢谢大家！”
赵奕说完最后一句话，后退两步礼貌的鞠躬，随后会场里响起了剧烈的掌声。
这场演讲很成功。