“ggium、Xilinium、Qiaodouium……”
豆豆在取名這件事上表現得很給力。
很快便根據IUPAC給新元素的命名規則，取好了幾十個名字，甚至把自己的名字也放在了裡麵。
這的確也符合IUPAC的命名規則。
新元素從某種意義上來說本就是豆豆主導的材料模型推算出的。
對此喬澤並沒有什麼意見。
隻是掃了一眼取名範圍，沒什麼特彆離譜的地方，便直接讓豆豆給IUPAC回一封郵件。
這方麵的措辭豆豆比他更華麗。
喬澤知道自己的缺點，除了數學論文外，他寫的東西都很乾，隻追求準確，能用一個字表達清晰的，就不願意用兩個字。
在溝通中就顯得很無力。
做完這個小插曲之後，喬澤本想繼續投入到工作中，卻突然覺得有些疲憊。
這一段時間，喬澤一直在做量子蘊含理論的數學結構補全工作。這其中涉及到對超螺旋代數許多概念的擴展。為了能夠更準確的描述引力子，將四種基本力納入到同一個框架中來，還需要拓展新的拓撲結構。
許多東西說起來簡單，但思考如何證明的過程，本就需要高強度的腦力消耗。
再加上前段時間他還要為五個明顯不太聰明的學生勞心勞力，終究還是讓他感覺到了一絲疲憊。
以至於當他將注意力轉到接下來需要做的課題時，覺得大腦思路有些不暢。
恰好此時，蘇沐橙拎著兩人份的午餐走進了辦公室。
“喬哥，吃飯了。”
“嗯。”
其實有充足的人手幫兩人點餐、送餐，甚至豆豆都能很好的完成這種生活細節。
但彆的事蘇沐橙或許會偷懶，唯獨這件事從不假他人之手，隻要她在學校，還是喜歡親自去給喬澤帶飯。
用這女人的話說，能每天給家裡的大數學安排食譜，有著滿滿的成就感。
唯一可惜的是，現在少了探店的樂趣。
呂北已經無數次建議她，不要在外麵那些店子裡給喬澤帶飯。
但好處是，想吃什麼菜了，隻需要提前跟呂北說一聲，又或者在專門開發的APP上留言，食堂萬能的廚師總能把菜做得八九不離十的。
今天也是如此。
不過當兩人吃飯時，蘇沐橙還是感覺到今天喬澤跟平常有一些不同，似乎有心事的樣子。
“喬哥，今天不開心嗎？”
“沒有，就是看之前的論文感覺有些累。”喬澤微微搖了搖頭道。
“累了啊，那不如這幾天休息下腦子，換個有意思的問題唄。”蘇沐橙如往常般建議道。
不熟悉喬澤的人，聽到他覺得有些累了，一定是建議他多休息。或者出門轉轉，放鬆下大腦。
但蘇沐橙對喬澤太熟悉了。
她男人休息的方式就是換個思路，去解決其他問題。
事實也的確如此。
喬澤已經點了點頭，說道：“我也是這麼想的，但最近沒什麼感興趣的題目。”
“最近沒有，可以從以前的老課題裡找啊。比如你可以思考下怎麼解決……嗯，哥猜？”蘇沐橙想了想，然後一臉期待的看向喬澤，給出了建議。
“證明哥猜的強形式麼？”喬澤自語了句。
“嗯，其實弱形式也可以啊。反正老教授說過，現在弱形式也隻是部分證明。”蘇沐橙聳了聳肩道。
強形式是指哥猜的最初的表述，每一個大於2的偶數都可以表示為兩個素數之和。據說當時哥德巴赫提出這個猜想後，自己無法證明就將這個問題給了歐拉。
歐拉窮儘一生也未能解決這個命題，後來數學界又不再使用1也是素數的約定，於是便有了弱表述：每一個大於5的奇數都可以表示為三個素數之和。
對於強形式，雖然已經有大量的數值驗證支持這個猜想，尤其是超算時代，許多數學家已經用計算機程序驗證了直到非常大的數字所有偶數都可以分解為兩個素數之和。
這從側麵說明了這個猜想大概率是對的，但依然沒有一個能被學界普遍接受的數學證明。
也恰恰因為這個命題的表述並不像現代的數學難題那樣題乾都讓人難以理解，甚至可以說小學生都能看懂，這個世界性的難題恰好是全球民間數學家最喜歡討論的問題之一。
就好像想弄懂黎曼猜想題乾部分到底是什麼意思，起碼得先有數論跟複變函數理論的基礎，比如得了解漸進分析理論，函數級數跟乘積這些概念，但哥猜完全不需要。
喬澤甚至想起有次在寢室裡，陳藝文在網上看到的那篇論文，宣稱證明了哥猜……
然而對方卻在證明過程中很隱蔽的用0作為除數，來保證了邏輯的連貫性，同時也極具欺騙性。
現在想想，用這種數字遊戲來放鬆一下大腦，的確是件很有意思的事。
於是喬澤由衷的讚歎了句：“橙子，你真聰明，這的確是放鬆大腦最好的命題。”
這誇獎，讓蘇沐橙眨了眨眼，有些找不到北了……
隻能甜甜的笑了起來，然後目送著喬澤飛快的站了起來，興衝衝的回到了另一邊的辦公室裡。
蘇沐橙則哼著歌，開始收拾桌子上的殘局。
小蘇同學的心情不錯。
看吧，就很突然的，她又為世界數學界做了些微不足道的貢獻，這麼想想華夏數學學會給她頒發的那個榮譽院士稱號，也不算太過分。
而且充分說明了，陳藝文背地裡給她取了個“妲己”的外號是站不住腳的。
等把用於開組會的桌子收拾乾淨，餐盒都扔到外麵之後，回到辦公室裡，看到喬澤已經開始奮筆疾書，思路似乎很順暢的樣子，蘇沐橙不由詫異的問了句：“喬哥，你已經找到思路了？”
“嗯，先定義一個超螺旋函數(S)，它將每個自然數 n映射到一個複數平麵上的點，形成一種螺旋狀的分布。這個函數的特點是能夠將質數映射到特定的螺旋線上，而合數則映射到另外的螺旋線上。
然後再設定一個多項式 P ( x )，它的係數和次數都由超螺旋函數的輸出決定，用於預測或生成質數序列。這樣，P ( x )= a 0+ a 1 S ( x ) 1 + a 2 S ( x ) 2 +⋯+ a k S ( x ) k
引入一個轉換公式 G (e)，代表將任意偶數e分解為兩個質數之和的表達式。即為：G (e)=P (x)+P (y)= e。隻需要我能保證三者之間成立，就能證明哥德巴赫猜想。
不過現在第一步有些困難，也就是保證當n是質數時，S (n能落在特定的螺旋線上，而合數則分布在不同的路徑上。這需要我能保證精確調整函數中的參數……”
喬澤隨口解釋著。
雖然喬澤說的很詳細，但對於蘇沐橙來說，照例是聽不懂的。
但這並不妨礙小蘇同學日常捧哏：“哇，喬哥，一聽就很有道理。而且還是用了喬代數解決問題，你肯定行的。不過，這個第一步連你都覺得很難嗎？”
喬澤頭也不抬的答道：“還是彆用喬代數了，聽著很怪。至於難度……目前看來有兩種方法可以實現。第一種是調整半徑的計算方法，使得質數和合數在螺旋上的半徑有所不同。另一種方法是使用一個與質數判定函數相關的加權因子 w (n)，這個因子對於質數有特定的值，對於合數有另外的值。
不過兩種方法各有優缺點。前者會讓計算過程會很繁雜，尤其是隨著數的增大，超過一定位數後，直接調整半徑可能會導致螺旋圖案的不均勻膨脹，影響視覺效果和數據的解讀。
後者更為靈活，具備可調節性。但增加了函數的複雜性，需要仔細選擇w (n)的定義，以確保螺旋圖案的清晰度和信息的有效傳遞，而且證明過程會更抽象。”
聽了這個回答，蘇沐橙突然覺得這個問題對於喬澤來說，大概也沒那麼難了。畢竟方法是有的，而且還有兩種，隻是糾結於該如何選擇而已。
這讓她想到了第一次看喬澤寫論文時的場景。
誰敢想還不到十個小時，一篇論文就完成了。
也正是那篇論文，還在數學界掀起了一場論戰，直接後果是導致了科恩大學一位數學教授的沉寂，以及《杜克數學雜誌名聲掃地，一口氣更換了絕大部分編輯，但到現在也還沒完全恢複往日的聲譽。
不知道今天解決這個問題要多久。
如果能快點自然是最好的，於是小蘇同學很不負責任的給出了自己的建議：“嗯，這樣說的話，我覺得用第二種方法比較好。畢竟更靈活嘛。證明過程就算抽象，隻要懂了喬代數，應該也能看明白的。最多就是證明過程寫的仔細點。”
“嗯，那就用第二種方法吧。”
聽了喬澤的回答，蘇沐橙甜甜的笑了笑，便自顧自的戴上了耳機。