作者：不吃小南瓜
“OK！”
範雷爽快的答應下來，隨後馬上找起了電話，似乎是有十萬火急的事情。
趙奕奇怪問道，“找什麼呢？”
範雷道，“找電話啊！我認識個鴻星爾K廣告部的經理，就說到時候我穿全套鴻星爾K的衣服、鞋子，有電視直播，世界數學最高舞臺，怎麼也來個幾萬廣告費吧？”
“我K！”
趙奕聽的都驚住了，他狠狠的豎起大拇指，用力的說道，“你特麼……真是個天才！”
……
等回到了宿舍以後，趙奕想着國際數學家大會，也感到稍稍有些遺憾。
國際數學家大會是個不錯的數學交流場所，彙集世界各國最頂尖的數學家，四年前去了一趟收穫也很大，那些現場的數學報告，總是能有一些吸引人的亮點，或者帶來一些靈感之類。
“好像是很久沒有研究數學了。”
“正常來說，菲爾茲獲得者也會被邀請在大會場做報告，不然也讓範雷順便幫忙做個報告？”
趙奕想着還是搖搖頭。
範雷？
作報告？
這傢伙看論文都看不懂，根本不可能做什麼報告，也許讓他照着論文念，都有些符號不理解，轉而把內容唸錯。
更何況，他確實很長時間沒研究數學，也沒什麼拿得出手的成果。
當想法從腦子裏滋生，再加上近一段時間也有些清閒，就是等待航空集團的驗收，他不知不覺的就琢磨起了數學。
他很快想起了一個內容--楊-米爾斯存在性與質量間隙。
在研究粒子的邊界理論，塑造圍觀粒子能量組成的時候，趙奕就對‘楊-米爾斯存在性與質量間隙’問題感興趣。
這是個極其複雜的數學物理問題。
楊鎮寧和米爾斯一起做數學物理研究，他們的目標是想通過描述基本粒子行爲，用數學的方法統一核心的電磁力、弱力以及強力。
在電磁的理論中，整體規範對稱性對應着電荷守恆，一旦要求這個整體規範對稱性在局域下也成立，就能得到整個電磁理論。
那麼問題來了。
如果把這種思想推廣到其他領域呢？比如強力、弱力？有沒有可能同樣要求某種整體對稱性在局域成立，然後可以直接產生強力、弱力的相關理論呢？
這就是大名鼎鼎的非阿貝爾規範場論，也叫楊-米爾斯理論。
楊-米爾斯理論被普遍認爲是超越發現宇稱不守恆定律的重要成果，也就是超越了楊鎮寧獲得諾貝爾獎的成果。
現在的量子物理中，強力就是用楊-米爾斯理論描述的，量子物理中把弱力和電磁力實現了理論結構角度上的統一，而統一之後的電弱力也是用楊-米爾斯理論描述的。
楊-米爾斯存在性和質量間隙問題，是千禧年七大數學猜想之一，它就起源於物楊-米爾斯理論，問題的正式表述是：證明對任何緊的、單的規範羣，四維歐幾里得空間中的楊-米爾斯方程組有一個預言存在質量缺口的解。
這個問題牽扯到粒子的基本規範探索，並闡明物理界尚未完全理解的自然界的基本方面。
趙奕之所以想到這個問題，主要是因爲楊-米爾斯問題和粒子的邊界理論有關係，楊-米爾斯理論就是以對稱性、數學方程，闡述微觀立場相互作用的關係，而粒子的邊界理論則是以粒子的能量組成角度，去解釋微觀物理發生的根源。
同樣是微觀物理的原理研究表述，兩者必然有很多重合的地方。
如果再進一步深入探索粒子的能量組成，就肯定會牽扯到場力問題，也必然會牽扯到楊-米爾斯理論，甚至牽扯到理論的證明。
趙奕希望能作進一步的研究，他對於粒子數學的研究，和其他理論物理學家一樣，目的都是爲了實現四大力的統一。
當連續深入思考了幾天後，他還是暫時放棄了對楊-米爾斯問題的研究，最主要是基礎還沒有打好，想要解決這個問題，需要的可不是短時間的研究。
那要比解決哥德巴赫猜想、費馬猜想要複雜的多的多。
在不斷思考的過程中，他注意到了另外一個問題，也馬上提起了興趣。
因爲，《衍生率》。
現在趙奕對《衍生率》有了一定的瞭解，他發現《衍生率》是個非常好的‘邏輯推導’能力，和正常的邏輯思路進行的推導不同，《衍生率》能夠依照條件找到‘最可能’的通路，而不是依照條件列舉大量的可能。
這個能力做研發很有用，解決數學問題似乎也有很大幫助。
趙奕想要真正試試《衍生率》的作用，也找到一個很不錯的邏輯推導問題--
NP完全問題。
這是千禧七大難題的第一個。
數學界之所以對NP完全問題感興趣，最主要是因爲它是純粹的邏輯問題。
NP完全問題的正確表述是：NP=P？，P（確定性多項式算法）對NP（非確定性多項式算法）問題，問題的表述似乎很複雜，簡單解釋一下就能明白過來。
NP，就是非確定多項式算法。
有的問題可以直接利用公式找出答案，而有些問題則不能。
比如，下一個質數是多少？
這個問題的解答方法，就只能靠猜測並且一個個去驗證，驗證出後續某一個數字是質數，就等於是解決了問題。
這個問題就是‘NP’，可以簡單理解爲‘不知道具體要算多少次’，而解決這個問題的驗證過程就是P，也就是‘咚阋淮尉徒鉀Q了問題’。
舉例來說，數字5後面的質數是幾？假如不知道後續的質數是多少，這個問題可以認爲是‘NP問題’，做法就是一個個去驗證。
6，不是。
7，是。
問題解決了。
在驗證7的咚阒校徒鉀Q了數字5後面的質數是幾的問題，就可以認爲這個咚氵^程，也就是問題解決方案P。
聽起來似乎是很簡單，但如果是尋找超大質數，牽扯到的咚懔烤头浅４罅耍粋�個去驗算到最後就發現無法繼續。
NP完全問題，就是要證明是否存在統一的防範，快速解決類似‘只能靠猜測去驗算，而不能直接咚愕玫浇Y果的問題’。
如果存在，找到這個方法。
如果不存在，證明不存在的原因。
NP完全問題聽起來很簡單，但實際上卻非常複雜的數學邏輯問題，仔細深入的一想，就不得不覺會讓人沉浸其中。
這也是爲什麼很多的數學家，都對NP完全問題的研究感興趣的原因，但一直到現在還沒有數學家能證明出來。
趙奕想到了NP完全問題，覺得空閒時間也沒事情，順帶着試試《衍生率》效果，乾脆就決定深入的研究一下。
與此同時。
航空集團的總部迎來了科學院軟件所派過來的團隊，帶隊的正是新晉信息學院士劉賀敏。
劉賀敏的團隊受到了熱情的接待，但仔細注意就能發現，有些人對劉賀敏團隊的到來不怎麼感冒，尤其是航空集團旗下，飛行自動控制研究所、航空計算機技術研究所的人。
兩個研究所分別派來了小團隊，總計加在一起有十個人左右，帶隊的是經驗豐富的研究員郭金華和鄧敏容。
郭金華、周麗敏都看了‘智能控制系統’，他們馬上就得出了，其中牽扯到非常複雜的算法，必須要頂級的數學計算機專家來。
事實上。
兩人的想法是，必須讓趙奕本來過來講解，才能把原理完完全全的摸透，只不過因爲趙奕是設計組的領頭人，不太可能參與驗收工作，自己設計自己驗收，聽起來就很不靠譜。
雖然劉賀敏是信息學的院士，在進化算法、神經網絡的研究方面，有着世界級的成果，數學理論研究上也有一定成果，但要說能看懂‘智能控制系統’的內容，還是讓他們不太相信。
他們對自己的專業能力很自信，劉賀敏的研究成果比較高，但牽扯到具體的程序、算法，理解能力上不一定他們強。
劉賀敏也知道航空集團人才濟濟，自己來自科學院軟件所，還是科學院新晉的信息學院士，但要說到航空集團內部，頭銜真的很難有什麼說服力，旁邊做招待的最低也是個研究所，還有動力學、機械學的院士，一個個都是學術、研發的頂尖人士，他和團隊必須要在理解‘智能控制系統’上，真正弄懂一些東西纔有說服力。
所以被招待了一番後，劉賀敏就提出快速進入到工作中。
他們很快拿到了報告。
因爲牽扯到保密性質，團隊裏普通的研究員，就只能拿到一部分報告和代碼，他們會分別負責一部分的研究，劉賀敏則是拿到了全部的報告和代碼，也馬上投入到研究理解中。
然後。
劉賀敏左看看、右看看，確定沒有人注意後，才從公文包裏拿出個密密麻麻、寫滿了內容的筆記本，對照着報告和代碼認真看了起來。
第四百六十九章 趙奕的靈感來源被曝光了！
‘智能控制系統’驗收組，裏間的一個小辦公室。
劉賀敏正對着筆記愁眉苦臉。
他本來以爲有了趙奕提前的講解，就會很快把‘智能控制系統’摸透，真正做研究的時候才發現，想得實在有些太簡單了。
筆記上大部分內容，都是沒有任何意義的，不是趙奕講的內容不對，而是講的大部分都是介紹了只能控制系統大體設計思路、流程，並說了一些他認爲理解有困難的地方。
在聽趙奕講解的時候，劉賀敏覺得是很正常的，因爲正常的講解都是如此，先是大體的做個介紹，隨後就細節化的說重點、難點的。
現在對着報告、代碼做研究的時候，他就發現問題還是很大，最主要是講解的不夠細緻，以至於他對於各個算法包，詳細的計算、設計思路都是一片茫然，對於核心算法也只是知道作用，根本不明白具體的原理。
劉賀敏倒是沒有責怪趙奕的意思，只是覺得自己小看了‘智能控制系統’，怪不得航空集團都要找科學院軟件所援助，以報告和代碼的複雜性，短時間是根本理解不了的，有些晦澀的算法程序，只一個大致的思路就要理解好半天。
劉賀敏心裏直呼準備不足，也知道是沒有辦法的。
在來到航空集團以前，趙奕不可能給他看源代碼，最多對着屏幕簡單說一下研發思路，講解一些重點的算法，就算是這樣都已經涉及到‘違規’，也就是因爲‘智能控制系統’是趙奕設計的，再加上他是科學院信息學院士，參與過好多國家項目，並且即將到航空集團輔助‘智能控制系統’的驗收工作，才勉強算是說的過去。
趙奕能做的都做了。
但這些遠遠不足以讓劉賀敏快速理解報告和代碼，最有難度的是‘智能控制系統’核心算法，他唯一能做到的就只是‘找到核心算法包’，卻不算時間理解核心算法的內容。
其實劉賀敏不知道的是，趙奕比他想象中的要盡力的多。
趙奕是完全相信劉賀敏的，他知道劉賀敏不是欺騙自己，因爲他能用《因果律》進行檢測，知道劉賀敏確實是要輔助航空集團做驗收工作，才盡努力去做講解。
但是趙奕給人講解有個問題是，他不知道具體什麼地方難。
因爲，思維方式不同。
在其他人看來，有些位置的算法晦澀難懂，但換做是趙奕則是非常輕鬆，一個《聯絡率》就能直接出過程，他根本不用費腦子，直接打出來就好了，因爲牽扯的代碼太多，有些地方連他自己都記不太清楚，別更說給別人說難點了。
所以給劉賀敏做講解的時候，趙奕真的是盡心盡力，連續說了好幾個小時，但他說的有些地方，在劉賀敏看來很容易理解，結果劉賀敏就對‘智能控制系統’的難度，做出了有偏差的判斷。
現在劉賀敏只感覺很無奈，筆記上大部分都是無用的，好在還是有一些地方有用，比如對算法包整體的描述。
他對照着報告去理解，也詳細的知道了整體構架，以及每個算法包的具體作用。
這不是簡單的描述，而是非常深入的理解，他也稍稍感到輕鬆一些。
“先了解整體構架，然後細分，詳細的進行理解。”
“這個方法也可以。”
“但是核心算術……”劉賀敏打開了報告對照源代碼，仔細看都覺得很頭疼。
……
兩天後的上午，劉賀敏帶着疲憊從辦公室裏走出來，他走到窗前看先窗外的風景，適當休息一下喝了杯茶水。
郭金華也正巧放下工作，他走過來問道，“劉院士，有進展嗎？”
“倒是有一點。”劉賀敏點頭說道。
“說說看？”
旁邊的人也支起了耳朵。
郭金華、鄧敏容帶隊的小組，和劉賀敏的軟件所團隊，都是一起工作的，他們有個共同的目標，就是理解‘智能控制系統’，到不需要每一行、每一列的去理解，去做詳細的驗證，只是驗收完全沒有必要那樣做，但每個算法包的功能都要咝袡z測，核心算法也一定要了解。
所以，最重要的就是核心算法，只要弄明白了核心算法，涉及到具體的代碼，其他只需要知道功能、大致瀏覽一下，一個個算法包則是咝姓{試，結果沒問題就可以了。
劉賀敏輕抿了口茶水，把郭金華帶到了辦公室，就開始詳細的講解起來。
很快，鄧敏容也來了。
郭金華和鄧敏容一起聽起了劉賀敏的講解，他講的是各個算法包具體的作用，哪些算法包構成了核心算法，以及核心算法具體是怎麼咝械摹�
可以舉例簡單理解。
比如，智能控制系統是一頭大象，源代碼就是大象全部組成，細化到每一個細胞的結構、功能，再組成各個器官等等。
核心算法就是大象身體內部的各個系統，有血液系統、消化系統、神經系統等等。
驗收組不需要搞清楚細胞是怎麼構成的，但必須要知道核心算法的具體原理，但因爲算法難度太高，他們根據報告也只能知道，大象有四條腿、一個大鼻子、兩個忽閃忽閃的耳朵等等。
這些外在的報告中都有介紹，但牽扯到內在的系統，報告不可能全部詳細的寫出來，有些內容還是要靠個人理解。
現在劉賀敏就在闡述大象的內部系統構成，但他知道的也只限於‘哪一部分是消化系統’、‘哪一部分是神經系統’等等，具體消化系統、神經系統是怎麼構成的，他就完全不知道了。
儘管如此，劉賀敏的講解也讓郭金華、鄧敏容驚爲天人，因爲他們研究了很長時間，也只理解到那些算法包是核心算法，並沒有能劃分的這麼細緻，沒想到劉賀敏來了僅僅兩、三天，就已經搞懂了核心算法的大體工程。
“不愧是信息學院士啊！”
郭金華心裏感嘆着，“僅僅兩、三天時間，比我們研究很久瞭解的還深入。”
上一篇：亿亿神豪从被劈腿开始
下一篇：打造究极生物