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