第四百六十八章 你特麼……真是個天才！（2/2）
這傢伙看論文都看不懂，根本不可能做什麼報告，也許讓他照著論文念，都有些符號不理解，轉而把內容念錯。
更何況，他確實很長時間沒研究數學，也沒什麼拿得出手的成果。
當想法從腦子裡滋生，再加上近一段時間也有些清閒，就是等待航空集團的驗收，他不知不覺的就琢磨起了數學。
他很快想起了一個內容——楊-米爾斯存在性與質量間隙。
在研究粒子的邊界理論，塑造圍觀粒子能量組成的時候，趙奕就對『楊-米爾斯存在性與質量間隙』問題感興趣。
這是個極其複雜的數學物理問題。
楊鎮寧和米爾斯一起做數學物理研究，他們的目標是想通過描述基本粒子行為，用數學的方法統一核心的電磁力、弱力以及強力。
在電磁的理論中，整體規範對稱性對應著電荷守恆，一旦要求這個整體規範對稱性在局域下也成立，就能得到整個電磁理論。
那麼問題來了。
如果把這種思想推廣到其他領域呢？比如強力、弱力？有沒有可能同樣要求某種整體對稱性在局域成立，然後可以直接產生強力、弱力的相關理論呢？
這就是大名鼎鼎的非阿貝爾規範場論，也叫楊-米爾斯理論。
楊-米爾斯理論被普遍認為是超越發現宇稱不守恆定律的重要成果，也就是超越了楊鎮寧獲得諾貝爾獎的成果。
現在的量子物理中，強力就是用楊-米爾斯理論描述的，量子物理中把弱力和電磁力實現了理論結構角度上的統一，而統一之後的電弱力也是用楊-米爾斯理論描述的。
楊-米爾斯存在性和質量間隙問題，是千禧年七大數學猜想之一，它就起源於物楊-米爾斯理論，問題的正式表述是：證明對任何緊的、單的規範群，四維歐幾里得空間中的楊-米爾斯方程組有一個預言存在質量缺口的解。
這個問題牽扯到粒子的基本規範探索，並闡明物理界尚未完全理解的自然界的基本方面。
趙奕之所以想到這個問題，主要是因為楊-米爾斯問題和粒子的邊界理論有關係，楊-米爾斯理論就是以對稱性、數學方程，闡述微觀立場相互作用的關係，而粒子的邊界理論則是以粒子的能量組成角度，去解釋微觀物理發生的根源。
同樣是微觀物理的原理研究表述，兩者必然有很多重合的地方。
如果再進一步深入探索粒子的能量組成，就肯定會牽扯到場力問題，也必然會牽扯到楊-米爾斯理論，甚至牽扯到理論的證明。
趙奕希望能作進一步的研究，他對於粒子數學的研究，和其他理論物理學家一樣，目的都是為了實現四大力的統一。
當連續深入思考了幾天後，他還是暫時放棄了對楊-米爾斯問題的研究，最主要是基礎還沒有打好，想要解決這個問題，需要的可不是短時間的研究。
那要比解決哥德巴赫猜想、費馬猜想要複雜的多的多。
在不斷思考的過程中，他注意到了另外一個問題，也馬上提起了興趣。
因為，《衍生率》。
現在趙奕對《衍生率》有了一定的了解，他發現《衍生率》是個非常好的『邏輯推導』能力，和正常的邏輯思路進行的推導不同，《衍生率》能夠依照條件找到『最可能』的通路，而不是依照條件列舉大量的可能。
這個能力做研發很有用，解決數學問題似乎也有很大幫助。
趙奕想要真正試試《衍生率》的作用，也找到一個很不錯的邏輯推導問題——
NP完全問題。
這是千禧七大難題的第一個。
數學界之所以對NP完全問題感興趣，最主要是因為它是純粹的邏輯問題。
NP完全問題的正確表述是：NP=P？，P對NP問題，問題的表述似乎很複雜，簡單解釋一下就能明白過來。
NP，就是非確定多項式算法。
有的問題可以直接利用公式找出答案，而有些問題則不能。
比如，下一個質數是多少？
這個問題的解答方法，就只能靠猜測並且一個個去驗證，驗證出後續某一個數字是質數，就等於是解決了問題。
這個問題就是『NP』，可以簡單理解為『不知道具體要算多少次』，而解決這個問題的驗證過程就是P，也就是『運算一次就解決了問題』。
舉例來說，數字5後面的質數是幾？假如不知道後續的質數是多少，這個問題可以認為是『NP問題』，做法就是一個個去驗證。
6，不是。
7，是。
問題解決了。
在驗證7的運算中，就解決了數字5後面的質數是幾的問題，就可以認為這個運算過程，也就是問題解決方案P。
聽起來似乎是很簡單，但如果是尋找超大質數，牽扯到的運算量就非常大了，一個個去驗算到最後就發現無法繼續。
NP完全問題，就是要證明是否存在統一的防範，快速解決類似『只能靠猜測去驗算，而不能直接運算得到結果的問題』。
如果存在，找到這個方法。
如果不存在，證明不存在的原因。
NP完全問題聽起來很簡單，但實際上卻非常複雜的數學邏輯問題，仔細深入的一想，就不得不覺會讓人沉浸其中。
這也是為什麼很多的數學家，都對NP完全問題的研究感興趣的原因，但一直到現在還沒有數學家能證明出來。
趙奕想到了NP完全問題，覺得空閒時間也沒事情，順帶著試試《衍生率》效果，乾脆就決定深入的研究一下。
與此同時。
航空集團的總部迎來了科學院軟體所派過來的團隊，帶隊的正是新晉信息學院士劉賀敏。
劉賀敏的團隊受到了熱情的接待，但仔細注意就能發現，有些人對劉賀敏團隊的到來不怎麼感冒，尤其是航空集團旗下，飛行自動控制研究所、航空計算機技術研究所的人。
兩個研究所分別派來了小團隊，總計加在一起有十個人左右，帶隊的是經驗豐富的研究員郭金華和鄧敏容。
郭金華、周麗敏都看了『智能控制系統』，他們馬上就得出了，其中牽扯到非常複雜的算法，必須要頂級的數學計算機專家來。
事實上。
兩人的想法是，必須讓趙奕本來過來講解，才能把原理完完全全的摸透，只不過因為趙奕是設計組的領頭人，不太可能參與驗收工作，自己設計自己驗收，聽起來就很不靠譜。
雖然劉賀敏是信息學的院士，在進化算法、神經網絡的研究方面，有著世界級的成果，數學理論研究上也有一定成果，但要說能看懂『智能控制系統』的內容，還是讓他們不太相信。
他們對自己的專業能力很自信，劉賀敏的研究成果比較高，但牽扯到具體的程序、算法，理解能力上不一定他們強。
劉賀敏也知道航空集團人才濟濟，自己來自科學院軟體所，還是科學院新晉的信息學院士，但要說到航空集團內部，頭銜真的很難有什麼說服力，旁邊做招待的最低也是個研究所，還有動力學、機械學的院士，一個個都是學術、研發的頂尖人士，他和團隊必須要在理解『智能控制系統』上，真正弄懂一些東西才有說服力。
所以被招待了一番後，劉賀敏就提出快速進入到工作中。
他們很快拿到了報告。
因為牽扯到保密性質，團隊裡普通的研究員，就只能拿到一部分報告和代碼，他們會分別負責一部分的研究，劉賀敏則是拿到了全部的報告和代碼，也馬上投入到研究理解中。
然後。
劉賀敏左看看、右看看，確定沒有人注意後，才從公文包里拿出個密密麻麻、寫滿了內容的筆記本，對照著報告和代碼認真看了起來。