作者：西門要吹雪
郝曉晞暗忖。
學長可是個沉著穩重的人，不可能做沒把握的事情。
第398章 動了，楊神他動了！
北京。
中科院量子計算機研究所。
演算法與模型組群，有個人忽然發了條資訊@了所有人：“所有人，去鬥音看熱榜第一，楊學斌楊神在國際數學家大會上現在直播證明NP完全問題。”
馬兆和圖恆宇也被驚動了，都停下來手中的工作，進入了證明直播間。
很快，群裡就沸騰了。
“這楊學斌還是不是人了，才證明黎曼猜想幾個月，竟然又要證明NP完全問題。”
“天吶，楊神是怎麼做的。我每天下班後都是倒頭就睡，他竟然還有閒工夫研究世紀數學難題，他難道不睡的麼？”
“有沒有一種可能，他隨便研究研究，相當於我們辛苦好幾年？”
“不要啊。550A眼看就要完成了，現在楊神又要證明NP完全問題，這可是直接關係到演算法的研究，我們豈不是又要重新再搞？”
…………
雖然說也可以直接替換演算法，但如果演算法太先進，其他模組肯定也要最佳化升級才行，否則沒辦法發揮出演算法的最大作用。
搞人工智慧，結果發現各組竟然跟不上演算法的迭代速度，這就是稀奇了。
還是馬兆在群裡發資訊：“550A按計劃掃尾，如果楊學斌真能證明NP完全問題，可以將新演算法應用到550B上。”
“好，太好了！”
圖恆宇緊握拳頭，興奮不已。
果然，請馬兆邀請楊學斌入職，是他這些年做出最正確的決定。
如果不是楊學斌，550系列怎麼可能會發展這麼快，550A還沒有掃尾，550B計劃就已經有下落了。
或許要不了多少年，他就能夠女兒完整的一生。
而不是冷冰冰的資料。
………
國際數學家大會。
報告廳。
正在奮筆疾書的楊學斌突然動作一頓，手中的白板筆舉在半空中，因為NP完全問題的證明進入了關鍵點。
他腦海中並非沒有了靈感，也並非沒有了思路，而是思路太多，靈感太多，他需要進行篩選，選擇一條正確的路線繼續證明下去。
這是現場證明，不是自己做研究，還可以推倒重來。
但他不知道，自己這個動作，確實牽動了在場，甚至是全球數以百計正在看直播人的心。
“怎麼回事，楊神怎麼停下來了，我正看得起勁呢？”
“糟糕，不會是陷入絕境了吧？”
“哈哈，果然是跳樑小醜，這下傻眼了吧。”
“蠢貨。即便證明到此為止，楊神所作的證明依然可以極大的推動NP完全問題證明的程序，具有歷史價值。”
……
現場並無議論聲。
在大家看來，被難住才是正常，先前那樣奮筆疾書才是不正常的。
這是證明數學難題，又不是打螺絲，只要還有力氣，手裡的活就能夠幹個不停，像他們曾經十天半個月都推導不出下一步公式的都大有人在。
但不知道怎麼的，他們的心都被揪了起來。
他們暗暗祈叮f要成功。
在氦閃危機的當下，NP完全問題不僅僅是數學界的問題，更關係到人類文明的生死存亡，因為它直接關係到演算法，關係到人工智慧。
證明到現場，現場早已經沒有人跟得上節奏，但他們也知道，楊學斌正在構建一種新的數學工具，並且前面已經創造了三個小工具。
這些小工具都能應用計算機演算法、晶片製造、蛋白質預測等領域。
……
聯合政府。
“曉晞，曉晞！”
“啊……啊……周老師。”
郝曉晞連忙放下手機，站了起來道歉道：“不好意思周老師，您有什麼吩咐？”
周喆直倒沒有生氣，而是好奇道：“在看什麼，看得這麼入迷？”
“是學長。他在今天的學術報告上現場證明NP完全問題，只是不知道為什麼忽然停了下來，我因為擔心才走神了。”
郝曉晞說著，還把直播畫面給周喆直看。
周喆直淡淡點了點頭，問道：“NP完全問題，也是像黎曼猜想一樣的數學難題？”
郝曉晞點頭道：“嗯，都是七大數學難題。在難度，NP完全問題要比黎曼猜想低，但實際應用價值卻更高，尤其是在人工智慧和晶片設計等方面。”
她剛開始也不是很瞭解，還是有人在直播間做科普才知道這個數學難題竟然這麼重要。
“是嘛，這學斌啊，還真是厲害。”
周喆直不由笑道。
能被稱為世紀難題，困擾全球數學界上百年，甚至是數百年，尤其可就其難度，可楊學斌卻能在短時間內要連破兩道，不得不說是種神話。
這個楊學斌，當真是不簡單。
郝曉晞情緒有些低落道：“可是，學長現在停了下來，似乎到了證明的關鍵階段，很多人都在直播間說學長要失敗。”
周喆直聞言笑了笑：“他們說楊學斌要失敗，莫非他們比楊學斌還要厲害？不要聽他們搬弄是非，你要相信他。走吧，要開會了。”
………
國際數學家大會。
報告廳。
楊學斌早已經閉上了眼睛，此刻他的大腦就像是一臺超級計算機，海量數學公式瘋狂刷過，快速驗證著一種種可能性。
他要從各種可能性中，找出正確的路線。
在本質上而言，這何嘗不是在驗證NP完全問題。
時間一點點過去。
臺下依舊寂靜無聲，唯有直播間吵翻了天。
支援楊學斌和反對楊學斌的人，甚至是連數字派都冒了出來，毫無差別的進行攻擊。
足足半個小時。
楊學斌再次睜開了眼睛，迸發出前所未有的明亮光芒
沙沙！
他手中的白板筆，再次在白板上快速寫了起來。
“動了！動了，楊神他動了！”
“哈哈哈，我就知道，楊神絕不會讓我們失望的。”
“臥槽，太激動了，這是要見證歷史。現場證明七大世紀難題之一，這不僅是前無古人，恐怕也是後無來者吧。”
“好，好，我們數學界又有重大進步了。這屆國際數學家大會，是開得最有意義，最有價值的一次。”
……
無論是現場還是網上，人們都沸騰了起來。
一塊塊白板被寫滿數學公式，幸好有工作人員在一旁隨時擦拭，否則臺上的四塊白板早就寫滿了。
至於被擦拭的內容，早就用攝像機錄製了下來。
按道理來說，這寫滿證明NP完全問題的公式都可以算得上是珍貴文物了，不應該擦拭，而是收藏起來才是。
但更換白板有些麻煩。
為了避免打擾到楊學斌，主辦方也只能選擇擦拭了。
第399章 他做到了！
半個小時後。
楊學斌寫下來最後一行公式，並給出結論：P≠ NP。
當最後一筆落下時，他感覺腦袋昏沉沉的，就像是肝了三天三夜一般。
證明NP完全問題，實在是太耗神了。
前幾天的小組討論中，他雖然有些靈感，但也僅僅只是靈感，而他剛剛卻是現場證明了，相當於將個把月的工作，壓縮到了短短一個多小時中。
如此超強的負荷，他不感覺累才怪。
楊學斌轉身，臉色微微有些發白。
他看著臺下目瞪口呆，寂靜無聲的人們，努力擠出幾分笑容道：“今天的學術報告會就先這樣了，我有些累，先回酒店休息。”
將手中的白板筆一扔，楊學斌便徑直離開報告廳。
直到這時。
大家才如夢初醒。
劉建明最先反應過來，對身後幾排的博士生喊道：“顧年洲，傻看著什麼，還不送你師兄去酒店。”
“哦哦！”
顧年洲抓起手機就衝了出去：“師兄，等等我。”
轟！
也是直到這時，也不知道誰先鼓掌，緊接著就是雷鳴般的掌聲。
報告廳沸騰了。
“oh，myGod！他做到了，他證明了！這簡直就是個奇蹟！”
“雖然還沒有得到驗證，無法最終確定是否真證明了，但以楊神的段位，他說證明了就肯定是證明了，看不懂也是我們的問題。”
“我尼瑪，這太讓人激動了，雖然我什麼也看不懂，那就是感覺厲害。”
“兄弟，你那叫不明覺厲。”
“果然只有取錯的名字，沒有取錯的外號。楊神不愧是楊神，我願稱呼他為數學之神！”
“連線攻克兩大世界難題，這剩下的五個，估計也是手拿把掐吧。”
………
“誒！”
劉建明用手肘撞了撞身旁的老美數學泰斗：“威廉，這個證明你怎麼看？”
威廉滿臉白色的絡腮鬍，眯著個小眼睛：“劉，我感覺你在炫耀，但我沒證據。我怎麼看？也得我能看得懂啊，你呢？”
劉建明的嘴角徑直上翹，根本壓不住：“嘿嘿。你可是老美數學界第一人，連你都看不懂，我又怎麼看得懂。不過也正常，因為是現場證明，學斌他的證明過程都是跳著來的，不像《黎曼猜想的證明》就跟教小學數學題似的。”
“嘿，劉！”
這時，劉建明前面的主辦方，也是國際著名的數學家約瑟夫說道：“看來我們國際數學家大會要延期一天了。明天頒獎照常進行，後天再讓楊開個學術報告會怎麼樣？
剛好順道，省的大家以後走動。
而且沒有楊的解說，我們想要完全看明白證明過程，至少得花個把月的事情，甚至是更長時間都有可能。”
劉建明點頭道：“嗯，也只能如此了。”
“同意！”
上一篇：LOL：我职业打其他游戏不行？
下一篇：返回列表