第(3/3)页

    这并不算错。

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

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

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

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

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

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

    会场议论纷纷。

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

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

    这就足够了。

    台上。

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

    角谷猜想？

    好像是啊！

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

    但肯定百分百正确！

    赵奕相当的有信心，《联络率》可不会骗人，他完全理解了证明过程，而‘角谷猜想’就只是猜想，不是固有的公式、定理，也绝对不是《联络率》使用的‘先决条件’。

    所以……

    赵奕静静的思考有五分钟时间。

    台下众人都以为他受到了打击，罗智金教授走过来，想过来安慰下他，告诉他计算机和数学不同，不要理会李益来‘鸡蛋里挑骨头’的废话。

    这时赵奕抬起了头，认真看着李益来，随后干脆站了起来，迈步走到李益来的面前。

    其他人让出了一条路。

    “拉住他！”有人忽然喊了一声，“别让他打人啊！现在这小年轻可说不好！”

    “赶紧的！”

    “李教授，小心！”

    李益来听到喊声吓的往后推了一步，只是后面是椅子根本无路可退，他可都有五十多岁了，身体远算不上硬朗，可禁不住小年轻的一拳。

    赵奕终于有了动作。

    他激动的抓住李益来的手，非常认真说道，“谢谢你！李教授！谢谢你！真的很感谢。”

    “啊？”

    李益来有点懵。

    赵奕深吸一口气道，“要不是你提醒，我都没有发现，我竟然证明了角谷猜想！”


    第(3/3)页