“changchengium、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)的定義,以確保螺旋圖案的清晰度和信息的有效傳遞,而且證明過程會更抽象。”
聽了這個回答,蘇沐橙突然覺得這個問題對於喬澤來說,大概也沒那麼難了。畢竟方法是有的,而且還有兩種,只是糾結於該如何選擇而已。
這讓她想到了第一次看喬澤寫論文時的場景。
誰敢想還不到十個小時,一篇論文就完成了。
也正是那篇論文,還在數學界掀起了一場論戰,直接後果是導致了科恩大學一位數學教授的沉寂,以及《杜克數學雜誌》名聲掃地,一口氣更換了絕大部分編輯,但到現在也還沒完全恢復往日的聲譽。
不知道今天解決這個問題要多久。
如果能快點自然是最好的,於是小蘇同學很不負責任的給出了自己的建議:“嗯,這樣說的話,我覺得用第二種方法比較好。畢竟更靈活嘛。證明過程就算抽象,只要懂了喬代數,應該也能看明白的。最多就是證明過程寫的仔細點。”
“嗯,那就用第二種方法吧。”
聽了喬澤的回答,蘇沐橙甜甜的笑了笑,便自顧自的戴上了耳機。
今天她爲世界數論學界做的貢獻太多了,可以安心的摸魚了。
昨天專門下載了《真探》系列,可以靠追劇好好放鬆一下大腦。
反正親愛的喬哥下午要解決這種正經數學命題肯定不會關注她在做什麼的……
雙贏。
就這樣,西林數研所的辦公室內陷入安靜,沉浸在電影破案過程的女生跟數學證明過程的男生形成了一副分外和諧的畫面。聚集的間隙,小蘇同學會擡起頭看喬澤一眼,發現喬澤思路順暢,雙手依然在鍵盤上飛舞后,就會心安理得的點開下一集。
沒有保證每過兩小時,就站起來活動一下身體,或者到走廊上去望遠,說明喬澤此時思路太過順暢,已經進入注意力極爲集中的狀態。這種時候的喬澤是不要被打攪的。
當然就算蘇沐橙這個時候跟喬澤說話,對方也不一定會理會。不是充耳不聞,而是根本直接杜絕了無效信息的干擾。
總之喬澤的兩種狀態,蘇沐橙都已經適應了。
淺思考時候,輕輕鬆鬆的一心兩用,全心投入時又能夠做到身無外物。
這大概就是百年難得一遇的天才跟普通人最不一樣的地方吧。
就這樣,看了六集美劇之後,也到了下午六點,吃晚飯的時候。
蘇沐橙關了視頻,擡頭看向喬澤,發現自家男人已經從高強度的工作中暫時脫離出來,便問了句:“喬哥,晚上想吃什麼?”
“都行。”喬澤隨口答了句。
“哦,第一個問題解決了嘛?”
“嗯,哥猜已經證明得差不多了,我在檢查證明過程有沒有漏洞。”
“額……”蘇沐橙有些懵,然後下意識的看了眼電腦上的時間。
沒錯,才六點過十分,吃完午飯的時候應該是12點半左右,也就是說總共用時應該在五小時四十分。
如果再算上這個問題本身的難度,就顯得很有些荒謬的美感。
“真證明完了啊?”蘇沐橙站起來,好奇的湊到了喬澤的電腦旁邊。
畢竟是數學生,對於哥猜這種等級的數學難題,還是很有興趣的。畢竟這是祖師爺歐拉都沒能完成的數學難題。
可惜的是,看不太懂。
“嗯,我發現用超螺旋代數裡的理論來證明關於素數的數論問題,能極大的簡化證明過程。”喬澤答了句。
蘇沐橙瞬間安心了。
這句話代表着許多大教授大概都看不太懂,所以她完全看不懂很正常。
“哦,那晚上得吃點好的補補腦,喬哥你又辛苦了。”
“做這個問題本來就是爲了換腦子休息,挺輕鬆的。”
“嗯……也對,那我去打飯了。”
“好。”
蘇沐橙走出了研究所,想了想,還是決定給李叔跟徐院長打個電話。
畢竟這兩位都是研究數學的,這麼大的好消息還是應該通知一下。最重要的是,這種事總不能明珠暗投吧?
於是蘇沐橙先撥通了李建高的電話。
“喂,李叔。”
“橙子,有什麼事嗎?”
“也沒啥,就是喬哥今天剛剛完成了哥猜的證明,我覺得應該跟您說一聲。”
“證明了什麼?哥猜?哥德巴赫猜想?”
“是啊,就是那個哥猜。”
“等等,喬澤什麼時候開始研究數論的?”
“不是啦,喬哥就是今天那感覺腦子有些累,想休息下腦子,就換了個命題做做,然後發現用現在的喬代數能很容易解決這個問題。”
好吧,聽到“很容易解決這個問題”李建高便知道跟小蘇同學繼續聊下去完全就是雞同鴨講了,便直接問道:“喬澤還在研究所吧?”
“嗯嗯,他說還要檢查一下論文證明過程有沒有漏洞,我去給他打飯呢。”
“我這就過去。”
“好的,我還打算給徐院長打個電話。”
“行,是應該通知一聲。”
“那等會見。”
“好。”
……
掛了電話,蘇沐橙莫名的開心起來。
立刻便又給徐院長撥了一通電話。
“小蘇啊,怎麼突然想到伱徐伯伯了?”
這大概就是蘇沐橙挺喜歡徐大江的原因,不管是打電話,還是見面,這位老伯伯總是那麼和藹可親。
只是對面似乎有些喧鬧,像是在飯局上。
“是這樣的,剛剛喬哥完成了哥猜的證明,我想着您之前說了,喬哥如果做出了什麼成果,一定要第一時間通知您一聲,所以就給您打個電話說一聲。”
“咳咳咳……”對面先是傳來一陣劇烈的咳嗽聲,好不容易順了氣才追問道:“哥猜?喬澤把哥德巴赫猜想證明了?”
“嗯吶,您也別太激動了。喬哥說了,用了喬代數的思想,不難的。”
“不難的?好吧,你跟喬教授說,我馬上過去。”
“額……李叔也說馬上過來,要不您先吃飯唄。我也正去給喬哥帶飯呢。”
“沒事,沒事,這可是大好事!這樣,我馬上就過去,吃飯什麼時候不能吃呢……嗯……不是,等我先過去在說吧。”
“哦,那等會見。”
“等會見。”
再次掛了電話,蘇沐橙明白自己的好心情從何而來了。
她還真就是喜歡看旁人被自家喬哥震驚到不能自己的樣子。
喬哥跟李叔什麼都好,就是兩人都太低調了些,不管做出什麼成績都不願意宣傳。
還是得有徐大江這樣恨不得拿着大喇叭把好消息到處傳播的院長才能讓大家知道自家喬哥的實力有多強。
畢竟錦衣夜行有什麼意思呢?
……
飯局上,徐大江掛上電話,臉上已經掛起了喜氣洋洋的歉意笑容。
“徐院長,剛纔聽您在電話裡說……”
徐大江豪氣的說道:“哈哈,沒錯,好消息啊,大家都聽到了吧?那我也不藏着掖着了,喬教授很可能再次攻克了一個世界性難題,哥德巴赫猜想。我得趕緊去看看,今天這頓飯就先不吃了,你們慢用。這樣,等喬教授的論文發表了,我請大家!今天在座的各位都要到!”
“徐院長太客氣了……”
“是啊,是啊,您要有事就先去忙。”
……
“好好,別送了,別送了,哎……我們學院的喬教授,就是會挑時間給人驚喜,但凡晚兩個小時解決問題呢?不能跟各位把酒言歡,遺憾啊!下一次一定!”