第一百二十六章 我竟然证明了角谷猜想（第1页）

，，，！

高中生，其他人都是一脸的‘后生可畏’，李益来只感觉郁闷的吐血。

‘有效与无关进位筛选’，可不是简单就能证明出来的，中途需要给人消化理解的时间，也会给出提问的机会。

李益来就不断的提问。

李益来专业做算法研究，能力还是相当不错的，他提问了几次以后，忽然皱住了眉头，随后再次举手提问。

其他人都有些看不过去了--

“这个李益来要脸不要！”

“为难一个学生干什么，他问的东西都很明显的，根本不应该问。”

“老不要脸！”

贺明成教授坐在第一排中间，他不但听得很认真，还低着头做笔记，发现李益来总是打断，提的问题还有些可笑，也不由得皱住眉头。

李益来还是说了出来，他指出了一个真正的问题，“赵奕同学，我注意到你刚才的证明过程，说所有的可能的情况，被分析判定后，都会归为数字一，也就是只剩下一种可能。”

“这个过程并不严谨，你用到了几个代数的定理，但最后的总结，却直接得到了结果。”

“如果你的证明过程是对的，不就等于证明了角谷猜想？”

李益来说完有些得意的坐了下来。

会场顿时安静了。

每个人都在讨论刚才的过程，因为过程有些复杂且绕脑，赵奕有一部分是用计算机的方法演示、说明的，其他人并没有注意到。

李益来提醒了一下，大家马上都注意到了。

角谷猜想，也叫作冰雹猜想，是一种数学猜想，说一个正整数x，如果是奇数就乘以3再加1，如果是偶数就析出偶数因数2?，这样经过若干个次数，最终都会回到1。

许多人都声称证明了角谷猜想，还发表了一系列的论文，实际上，至今还没有‘被公认严谨’的证明过程。

所以猜想依旧只是猜想，而不是能直接运用的定理。

赵奕的证明过程中，用计算机演示、说明，看似过程十分的严谨，却用到了‘角谷猜想’的内容。

这并不算错。

李益来说的证明步骤，是数字无限大的情况下，对每一种可能进行分析判定，运用在魔方上，最多就只有27种扭动情况。

根据日本和美国的数学家攻关研究，小于71011的所有的正整数，都符合角谷猜想的规律，若是再大于71011的数字，差不多只是理论上的数字，计算机想一一判定分析就非常困难了。

另外，计算机和数学不同。

数学需要最为严谨的证明，理论上的数字也需要证明，计算机算法最终的目的是输出正确的结果。

哪怕是存在一点点的瑕疵，‘有效与无关进位筛选法’，放在计算机算法领域里，也已经是完善的算法，可以直接被运用起来。

用数学思维说明有问题，能算是‘鸡蛋里挑骨头’了。

会场议论纷纷。

多数人承认李益来说的问题确实存在，但赵奕的证明过程，在现有的计算机性能下，是完全没有问题的，而计算机算法最重要的，就是能够输出结果，能运用于实践比理论更重要。

结果正确，算法就能应用。

这就足够了。

台上。

赵奕盯着屏幕上的过程，不断思考着李益来质疑的话。

角谷猜想？

好像是啊！

如果证明过程是正确的，岂不同时说明角谷猜想是正确的，反之就是不正确的。

但肯定百分百正确！