數學，是科學，是科學中的形式科學，其底層邏輯是根據皮亞諾公理的算術公理系統構建的。
這樣就導致了一個問題，當涉及到最基礎的數論證明時，數學就顯得特別虛弱無力。
比如，有些人認爲三歲孩子都知道的1+1=2很簡單，可數學家羅素的巨着PrincipiaMathematica用了300多頁才證明出1+1=2！
縱觀數學史上留名的數學家，可以把他們分爲兩類，
一類是善於提出問題，並在解決問題的過程中，提出新的數學理論的數學家。
另一類則是隻負責製造問題，管殺不管埋的那種。
德國數學家克里斯蒂安·哥德巴赫，很明顯就是後一類，他在1742年，提出了兩個哥德巴赫猜想猜想。
沒錯，哥德巴赫猜想最初是有兩個猜想構成，分別被稱爲奇數哥德巴赫猜想和偶數哥德巴赫猜想。
奇數哥德巴赫猜想表述爲任何一個不小於7的奇數可以表成三個素數之和；偶數哥德巴赫猜想表述爲任何一個不小於4的偶數可以表成兩個素數之和（這其實就是1+1叫法的來源）。
幸運的是，數學家Vinogradov部分的證明了奇數哥德巴赫猜想，實際上是證明了對於充分大的奇數，都可以表示爲三個素數之和。
也就是說在此之後，一旦證明偶數哥德巴赫猜想，那麼就可以完美的推導出奇數哥德巴赫猜想。
所以在數學家們“節約紙張”的習慣下，哥德巴赫猜想就被精簡爲任一大於2的偶數都可寫成兩個素數之和。
看到屏幕上人工智能小花收集的資料，李默露出了苦澀的笑容。
他已經嘗試過用Hardy和Littlewood圓法，試圖去解決哥德巴赫猜想，結果很明顯，那就是他完全浪費了3天的時間。因爲在哥德巴赫猜想中存在兩個變量，提出一個來之後，剩下的一個很難進行平凡的估計。
經過這幾天的“艱苦學習和不斷挫敗”，李默對華國的數學前輩陳生，產生了深深的敬意。陳生能在艱苦的環境下，提出幾乎素數代替偶數的篩選法，證明出了“1+2”。這個已經很難得了，雖然這個結果在李默看來，離解決偶數哥德巴赫猜想還有非常大的距離。
至於後面的也有許多數學家，對外界聲稱在證明哥德巴赫猜想中，取得了突破性成果，但他們遲遲沒有提交證明論文，並且有些甚至連思路也沒有給出，完全沒有任何參考價值。
李默已經漸漸意識到，哥德巴赫猜想同他以前證明出的世界難題不同，這完全是一座高山，當有經驗的登山者面對高山時，最好的做法就是在山腳下做好準備工作。
所以他並沒有急於“閉關”，而是“爆肝”各種數論文獻，吸收前人的智慧精華。
“篤...篤...”敲門聲響起。
李默沒有擡頭就知道是張小莉，因爲只有她敲門時是如此的柔弱，生怕把門敲破了一樣。
“A+？這麼高？”李默擡起了頭，他沒想到那個看似木訥的格子衫，竟然有滿腹才華。
品格：9，專業：A+
這樣的成績已經夠資格進入實驗室了。
“那就把他招進來吧，暫時安置在周博士手下，福利待享受正式員工的待遇。”李默交代道。
“那秀山的福利房，是不是也要給他分一套？”張小莉接着問道。
李默皺了皺眉頭。
考慮到燕京的房價超高，爲了解決員工們的後顧之憂。他當初在新實驗的建設中，特意在實驗室外圍，靠近秀山公園的地方，規劃了十幾棟家屬樓，每一位實驗室的正式員工，將能獲得一套房子的長期使用權。如果該員工的工齡達到十年以上或者是做出了重大貢獻，這套房子的所有權將會完全歸該員工所有。
“分一套兩室的給他吧，他好像還沒結婚。”思索了片刻，李默做出了決定。
“好的，我這就安排。”
李默翻看着手中的項目申請書，由於最近正處於項目空窗期，他特許實驗員們可以按照自己的愛好，自由選擇新項目。
他山之石可以攻玉，有時實驗室內的偶然發現，也許會成就一個偉大的發明。
蘇格蘭科學家亞歷山大弗萊明爵士，注意到一種快速生長的黴菌，在一個丟棄的培養皿中阻止了細菌生長，於是將黴菌分離出來單獨培養，就用了拯救無數人的青黴素。
電氣工程師JohnHopp，上世紀中葉，他嘗試使用射頻加熱來提高體溫，結果發現電脈衝對身體的熱量沒有太大作用，卻能夠刺激心臟，並將其重新轉換節奏，因此發明了起搏器
看一看實驗室的優秀科學家們有什麼好的項目提議吧，李默對於“民衆的智慧”充滿了期待。
“利用“氦氣變聲”，研究一下共鳴在大象發聲中的作用，申請人：周明瑞、劉炫辰、劉浩。”
“研究了樹袋熊排出方形糞便的方式和原因，申請人：王小川和劉磊。”
“蒼蠅污染紅酒的檢測-蒼蠅之間傳遞信息的費洛蒙可以被人類的鼻子聞到，客人在喝到幾分醉時才聞不到費洛蒙的味道，申請人：靜靜。”
“在1+1=3的情況下，數學會發生什麼變化，申請人：周大方。”
.......
臥槽，這都是什麼奇葩選題啊，李默覺得自己的眼睛被辣到了，難道這些看似老實木訥的實驗員們，內心是如此的悶騷嗎？
大象和樹袋熊又招誰惹誰了？
還有靜靜的“蒼蠅實驗”，這是準備開紅酒小作坊的節奏？
至於周大方的1+1=3，李默更是無語，這傢伙正統數學玩夠了，準備向民科領域發展嗎？他難道不明白，對於數學來說，數字並不重要，重要的是其中邏輯關係。