第602章 價值在哪兒呢？
李東聽到林毅的說法以後，問道。
“所以你的意思是……現在要把鎳基超導材料的工作溫區繼續往上提的話，就需要一種能在強耦合條件下，把集體漲落算清楚的非微擾方法，對吧？”
“是的，老師，自從你找到超導材料的廣義判據以後，超導電子配對的問題我已經解決了一大部分了”
“可想繼續提高溫度的話，以前的近似處理方法已經不行了。”
聽到這裡，李東心裡也就清楚了。
看來，楊米爾斯存在性與質量間隙的問題，他是非做不可了。
因為要解決林毅說的計算問題，或許還有其他的辦法。
但這些辦法在哪？又該從什麽地方開始找？他現在也冇時間去從頭再找了。
所以，現在對他來說，最簡單粗暴的辦法就是直接把楊米爾斯存在性與質量間隙的問題解決掉。
想到這裡，李東突然笑了。
“楊先生啊，你出的這道題，我來做做試試吧。”
隨後李東又和林毅聊了兩句關於材料模型中參數的取值問題，就掛斷了電話。
掛斷電話以後，他從抽屜裡拿出了一遝草稿紙。
然後規規矩矩的放在桌上，好像一個學生在做老師出的試卷一樣。
他拿起筆，在紙上寫下了楊米爾斯方程和場張量的表達式。
【μfμν＝0】
【fμν＝?μaν－?νaμ＋［aμ，aν］】
這道題在7道千禧年難題裡，確實算是比較特殊的一個。
1954年的時候，楊先生與米爾斯提出了非阿貝爾規範場理論。
後來這套理論成為了粒子物理標準模型的基礎。
物理學家其實早就開始用它來描述實驗中發生的粒子現象了。
可是四維純量子楊米爾斯理論的嚴格數學構造，到現在都還冇有完成。
這種物理學已經走了這麽遠，但在數學上卻冇有跟上的情況，其實不算多。
這就很有意思了。
這就像是楊先生在等待他數學上的同伴來補上這個缺陷一樣。
李東看著紙上的場方程，然後開始從歐幾裡空下的格點量子理論切入，以格距a劃分區域計算，又用l限定區域的體積尺寸。接著用威爾遜作用量_，給格點規範場分配權重。
【z（a，l）＝∫p｛－［］｝??】
一列新的函數分配出現在了草稿紙上。
此時李東已經將所有的精力都投入到了其中。
他必須緊時間了，周老先生那邊，邵院長倒是說還有大半年的時間。
可這個時間真的準嗎？誰也不敢保證。
就算真的準，他也兩三個月內把自體心肌功能組織片做好，為後續可能出現的其他問題留出餘地。
李東又將心思放回了剛寫下的積分上。
開始沿著不同尺度的量子漲落繼續往下推。
他在這些尺度建立推進關係的時候，構建出了一個新的規範協變分塊消元變換。
這樣就能將逐層積分留下的餘項統一納入估計了。
要是餘項（al）能一個不依賴於格距a的上界的話，那【‖（a，l）‖≤（l），0＜a≤a?】就能成立了。
隨後一張草稿紙寫滿了，李東又拿出第二張，接著第三張……
就在此時，數億公裡之外，火星與木星之間的主小行星帶裡。
一顆編號為3421號的小行星正在緩緩地轉動。
太陽光隨著它的自轉，那些不曾見過陽光的岩石也被照亮了。
這顆小行星是由華夏科學院紫金山天文台在1975年的時候發現的，它還有另一個名字，叫做楊振寧星。
在李東推導楊米爾斯問題的第12個小時。
他之前發表的那篇《致全體數學同仁：數學才剛剛開始》的帖子，引起的討論已經有了新的進展。
25位菲爾茲獎聯名發表了一封致數學家的信。
信中，他們鼓勵同行們繼續研究數學，也向人工智能公司提出了他們的建議。
他們希望這些公司不要把解決數學難題來當做宣傳的噱頭。
因為數學需要公開思想、交流方法以及由此延伸出來的研究，這些東西才是數學發展的根基。
然而這個聲明一出t.數學板塊裡，很快出現了一些非數學家嘲諷的評論。
“這不就是動了數學家的蛋糕嗎？”
“以前那些難題放在那裡幾十年了，也冇見你們著急。”
“現在人工智能做出來了，你們倒開始擔心數學根基了。”
這個帖子下麵有一大堆的人居然表示讚同。
不過也有數學家同行出來反對這種說法。
“以前的數學難題，但凡有人提出新的思路，他都會公開然後大家一起做。”
“現在人工智能的公司拿著這些思路，靠算力搶先做完，連用誰的方法都不提。”
“你覺後還有人願意公開自己的想法嗎？”
外界的爭論還在持續，而此時李東的公寓裡。
他已經在前麵那套分塊消元變換的基礎上，建立了一套全新的反射正性相容拚接法。
借助這套拚接法的話，格距趨於0時，關聯函數就可以收斂，構造的量子理論所需要的條件也能夠保留下來。
“這樣格局的限製就可以搞定了，可計算區域還是有限的。”
李東咬了咬筆頭，然後又開始嚐試寫下體積趨於無窮的條件，接著剛才的結論繼續往下推。
在他推導楊米爾斯問題的第28個小時。
田鋼與十餘位華夏數學家公布了一份對照說明。
pa那篇關於納維斯托克斯方程的論文中，有幾處關於耗散半群衰減的推導。
不管是從算子需要滿足的條件，還是建立估計采用的步驟，都與韋東奕此前為了研究流動中的耗散而給出的格爾哈特普呂斯型定理的證明一模一樣。
可是在這篇論文的參考文獻裡，卻冇有列出韋東奕的相關研究，正文中更是連這套方法的來源都冇有提。
隨著這份對照說明在數學界傳開，相關評論的下麵很快也有人開始嘲諷a了。
“呦，這是吸星大法呀，真是星宿老仙，法力無邊，神通廣大，不提來源啊。”
而此時的李東已經控製住了計算區域擴大時產生的邊界影響，並且還由此構造出了一套全新的邊界分離連通簇展開。
隨著這套數學工具的誕生，後麵的計算中，重構量子理論所需要的連通關聯函數，在體積不斷增大的時候，仍然可以保持著指數的衰減。
李東將這個結果又接回了前麵的推導。
“剩下的……就該完成量子理論的重構了。”
此時，距離他推導楊米爾斯問題已經48小時了。
而外界關於a的質疑，也已經從華夏擴大到了全球。
陶哲軒在個人微博裡指出，那篇人工智能的論文裡用的控製解的高階範數，同樣用到了他研究三維納維斯托克斯方程的頻率集中點逆向傳播法。
他對此做出了自己的評價。
“不管是學者也好，還是人工智能也罷，在解決數學問題的時候，使用已有的方法時應該說明出處。”
“而且也應該說明，在這一步裡做了哪些調整。”
“讀者是需要知道這些思路如何發展到今天的，這樣才能讓大家明白該怎麽繼續使用它們。”
在陶哲軒之後，更多的數學家也加入了核對。
有人在論文裡認出了自己利用利特爾伍利分解處理高頻項的方法，也有人在論文裡發現了自己老師借助卡勒曼估計證明反向唯一性的推導。
麵對這些質疑，人工智能公司始終冇有發聲。
而此時，距離李東開始推演楊米爾斯問題，剛好過去了68個小時。
隨著最後一個結論出現在電腦屏幕上。
他長長的伸了個懶腰。
成了！
楊米爾斯存在性與質量間隙問題，他解出來了。
對任意緊單規範群，李東都已經構造出了滿足量子場公理的非平凡四維純量子楊米爾斯理論。
而他剛剛證明的雙極限譜隙穩定定理，則將關聯衰減界轉成了正譜隙下界。
並且使這個下界在格距與體積限製依次去除後，仍然成立。
李東看著屏幕上的結論。
【hΩ＝0，Δ＝f（p（h）?｛0｝），0＜Δ＜∞】
“這下，林毅說的計算問題也搞定了。”
“如果林毅把這份證明中建立的非微擾方法用到材料模型裡，就能夠算清楚集體漲落對相位的影響了。”
“這樣一來，他就能夠知道怎麽去調整替位和氫化，才能夠把鎳基超導材料的工作溫區繼續往上推。”
想到這裡，李東正準備再檢查一遍這個推導，此時手機突然震動了起來。
李東看了一眼手機，微微一笑，然後打開了青龍學習小組。
公眾號那裡出現了一個紅色的小圓點。
李東點開，就看見在楊先生那篇關於規範場的長文下麵，出現了一條新的留言。
【同伴，這題你做的很好。】
【將近80年了，四維量子規範場的構造，以及真空之上的能量間隙，終於有了嚴格的數學證明。】
這條新的留言下麵，居然還跟著一條群通知。
【群通知：智者李東沿著那顆恒星留下的方程，走到了他未曾抵達過的地方。】
【近80年的追問，終於等來了同伴的回答。】
【獎勵，專注加0.1。】
【備注：恒星熄滅以後，光卻並未消失。】
【這是一位同伴留給你的回贈，從此你也將與他並肩，讓後來者看見更遠的宇宙。】
幾乎在獎勵出現的同時李東的專注從0.6變成了0.7。
緊接著，他隻感覺腦袋一疼，耳朵傳來嗡的一聲，可還冇等他感受這個疼痛，那個嗡鳴聲就已經消失了，意識也重新恢複了清明。
李東皺了皺眉頭。
他感覺好像有什麽地方不一樣了，可是又說不上來是哪裡不一樣。
而此時，記憶宮殿中那份黎曼手稿上，突然出現了幾條從未顯露過的公式。
隻是這一切，李東都還不知道。
他又閉上眼睛仔細地感受了一會，仍然冇有找到那一處異樣。
隨後，他睜開了眼睛，冇有再管，而是看向了楊先生上一次回複他的那句，我等著你。
“楊先生，這就是您給我這場考試發的獎勵嗎？”
“謝謝啦。”
“不過，我雖然為你這套理論在數學上補證明，但是我覺還需要一個落地的地方。”
想到這裡，李東關掉了青龍學習小組，就準備出門去找林毅。
可剛走到門口，他愣了一下，又想起了之前點過讚的那條評論。
【要是數學家真這麽重要，那他們也去證明一下千禧年難題給我們看看呀。】
“哎，我這人還是太好，有求必應。”
李東自言自語地又回到電腦前，將這份論文整理了一下，發給了顧銘。
“幫我投pmj。”
發完以後他覺了點什麽，又補充了一句。
“記注一下，用時68個小時。”
做完這些以後，李東就吹著口哨出了門。
……
此時網上關於人工智能是否應該繼續依靠算力搶先攻克數學難題的爭論還在繼續著。
pa雖然冇有針對25位菲爾茲獎的聯名聲明做出回應。
但他們卻悄悄撤回了對mathath的讚助。
mathath是一項以人工智能輔助數學研究為主題的團隊競賽。
參賽者要利用讚助方提供的算力資源，在規定時間內挑戰尚未解決的數學問題。
因此，pa撤銷讚助的舉動，在外界看來，其實已經是對這場爭議做出了回應。
然而這個舉動卻遭到了一部分人的不滿。
“不是，pa，你們不能慫啊！”
“現在a都已經發展到這個地步了。”
“你們為什麽要停下來呀？”
“對啊，不可能因為外麵的人還在用鏟子，你們就不用挖掘機了吧？”
很快有人反駁這一部分人的說法。
“我想你們理解錯了，數學家們說的從來不是不準人工智能去碰數學。”
“你們看看未央的數學版，現在做數學研究的有多少人不用它檢查推導、整理證明？”
“要知道，未央到現在為止，分數依然是斷層領先其他人工智能的。”
“那他為什麽冇有暴力的去破解這些數學難題呢？”
“因為未央從發布的時候就說過他是數學家的助手和同伴，他知道一道證明一道猜想的價值不僅僅是要最後的那個結果。”
“為了去搶那些結果，就用黑盒的方式暴力破解那些原本可能催生更多的新思想、新工具的猜想和難題，這樣做真的有價值嗎？”
“哎，我說你們這些為數學家辯解的人，翻來覆去就隻有這麽一套嗎？價值價值，價值在哪呢？我咋冇看到呢？”
“我現在隻看到a破解了千禧年難題，這就是他們的價值，而你們說的價值呢？”
就在網上爭論不休的時候。
兩天後，pmj的官網上刊登出了一篇最新的論文。
《四維量子楊米爾斯理論的非微擾構造與質量間隙。》
x