能的情況，被分析判定後，都會歸為數字一，也就是只剩下一種可能。」

    「這個過程並不嚴謹，你用到了幾個代數的定理，但最後的總結，卻直接得到了結果。」

    「如果你的證明過程是對的，不就等於證明了角谷猜想？」

    李益來說完有些得意的坐了下來。

    會場頓時安靜了。

    每個人都在討論剛才的過程，因為過程有些複雜且繞腦，趙奕有一部分是用計算機的方法演示、說明的，其他人並沒有注意到。

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

    角谷猜想，也叫作冰雹猜想，是一種數學猜想，說一個正整數x，如果是奇數就乘以3再加1，如果是偶數就析出偶數因數2?，這樣經過若干個次數，最終都會回到1。

    許多人都聲稱證明了角谷猜想，還發表了一系列的論文，實際上，至今還沒有『被公認嚴謹』的證明過程。

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

    趙奕的證明過程中，用計算機演示、說明，看似過程十分的嚴謹，卻用到了『角谷猜想』的內容。

    這並不算錯。

    李益來說的證明步驟，是數字無限大的情況下，對每一種可能進行分析判定，運用在魔方上，最多就只有27種扭動情況。

    根據日本和美國的數學家攻關研究，小於7*10^11的所有的正整數，都符合角谷猜想的規律，若是再大於7*10^11的數字，差不多只是理論上的數字，計算機想一一判定分析就非常困難了。

    另外，計算機和數學不同。

    數學需要最為嚴謹的證明，理論上的數字也需要證明，計算機算法最終的目的是輸出正確的結果。

    哪怕是存在一點點的瑕疵，『有效與無關進位篩選法』，放在計算機算法領域裏，也已經是完善的算法，可以直接被運用起來。

    用數學思維說明有問題，能算是『雞蛋裏挑骨頭』了。

    會場議論紛紛。

    多數人承認李益來說的問題確實存在，但趙奕的證明過程，在現有的計算機性能下，是完全沒有問題的，而計算機算法最重要的，就是能夠輸出結果，能運用於實踐比理論更重要。

    結果正確，算法就能應用。

    這就足夠了。

    台上。

    趙奕盯着屏幕上的過程，不斷思考着李益來質疑的話。

    角谷猜想？

    好像是啊！

    如果證明過程是正確的，豈不同時說明角谷猜想是正確的，反之就是不正確的。

    但肯定百分百正確！

    趙奕相當的有信心，《聯絡率》可不會騙人，他完全理解了證明過程，而『角谷猜想』就只是猜想，不是固有的公式、定理，也絕對不是《聯絡率》使用的『先決條件』。

    所以……

    趙奕靜靜的思考有五分鐘時間。

    台下眾人都以為他受到了打擊，羅智金教授走過來，想過來安慰下他，告訴他計算機和數學不同，不要理會李益來『雞蛋裏挑骨頭』的廢話。

    這時趙奕抬起了頭，認真看着李益來，隨後乾脆站了起來，邁步走到李益來的面前。

    其他人讓出了一條路。

    「拉住他！」有人忽然喊了一聲，「別讓他打人啊！現在這小年輕可說不好！」

    「趕緊的！」

    「李教授，小心！」

    李益來聽到喊聲嚇的往後推了一步，只是後面是椅子根本無路可退，他可都有五十多歲了，身體遠算不上硬朗，可禁不住小年輕的一拳。

    趙奕終於有了動作。

    他激動的抓住李益來的手，非常認真說道，「謝謝你！李教授！謝謝你！真的很感謝。」

    「啊？」

    李益來有點懵。

    趙奕深吸一口氣道，「要不是你提醒，我都沒有發現，我竟然證明了角谷猜想！」