第(3/3)頁 這并不算錯。 李益來說的證明步驟,是數字無限大的情況下,對每一種可能進行分析判定,運用在魔方上,最多就只有27種扭動情況。 根據日本和美國的數學家攻關研究,小于7*10^11的所有的正整數,都符合角谷猜想的規律,若是再大于7*10^11的數字,差不多只是理論上的數字,計算機想一一判定分析就非常困難了。 另外,計算機和數學不同。 數學需要最為嚴謹的證明,理論上的數字也需要證明,計算機算法最終的目的是輸出正確的結果。 哪怕是存在一點點的瑕疵,‘有效與無關進位篩選法’,放在計算機算法領域里,也已經是完善的算法,可以直接被運用起來。 用數學思維說明有問題,能算是‘雞蛋里挑骨頭’了。 會場議論紛紛。 多數人承認李益來說的問題確實存在,但趙奕的證明過程,在現有的計算機性能下,是完全沒有問題的,而計算機算法最重要的,就是能夠輸出結果,能運用于實踐比理論更重要。 結果正確,算法就能應用。 這就足夠了。 臺上。 趙奕盯著屏幕上的過程,不斷思考著李益來質疑的話。 角谷猜想? 好像是啊! 如果證明過程是正確的,豈不同時說明角谷猜想是正確的,反之就是不正確的。 但肯定百分百正確! 趙奕相當的有信心,《聯絡率》可不會騙人,他完全理解了證明過程,而‘角谷猜想’就只是猜想,不是固有的公式、定理,也絕對不是《聯絡率》使用的‘先決條件’。 所以…… 趙奕靜靜的思考有五分鐘時間。 臺下眾人都以為他受到了打擊,羅智金教授走過來,想過來安慰下他,告訴他計算機和數學不同,不要理會李益來‘雞蛋里挑骨頭’的廢話。 這時趙奕抬起了頭,認真看著李益來,隨后干脆站了起來,邁步走到李益來的面前。 其他人讓出了一條路。 “拉住他!”有人忽然喊了一聲,“別讓他打人?。‖F在這小年輕可說不好!” “趕緊的!” “李教授,小心!” 李益來聽到喊聲嚇的往后推了一步,只是后面是椅子根本無路可退,他可都有五十多歲了,身體遠算不上硬朗,可禁不住小年輕的一拳。 趙奕終于有了動作。 他激動的抓住李益來的手,非常認真說道,“謝謝你!李教授!謝謝你!真的很感謝?!? “?。俊? 李益來有點懵。 趙奕深吸一口氣道,“要不是你提醒,我都沒有發現,我竟然證明了角谷猜想!” 第(3/3)頁