作者：胖胖的小橘
幾乎在獎勵出現的同時，李東的專注從 0.6變成了 0.7。
緊接着，他只感覺腦袋一疼，耳朵傳來嗡的一聲，可還沒等他感受這個疼痛，那個嗡鳴聲就已經消失了，意識也重新恢復了清明。
李東皺了皺眉頭。
他感覺好像有什麼地方不一樣了，可是又說不上來是哪裏不一樣。
而此時，記憶宮殿中那份黎曼手稿上，突然出現了幾條從未顯露過的公式。
只是這一切，李東都還不知道。
他又閉上眼睛仔細地感受了一會，仍然沒有找到那一處異樣。
隨後，他睜開了眼睛，沒有再管，而是看向了楊先生上一次回覆他的那句，我等着你。
“楊先生，這就是您給我這場考試發的獎勵嗎？”
“謝謝啦。”
“不過，我雖然爲你這套理論在數學上補齊了證明，但是我覺得它還需要一個落地的地方。”
想到這裏，李東關掉了青龍學習小組，就準備出門去找林毅。
可剛走到門口，他愣了一下，又想起了之前點過讚的那條評論。
【要是數學家真這麼重要那他們也去證明一下千禧年難題給我們看看呀。】
“哎，我這人還是太好，有求必應。”
李東自言自語地又回到電腦前，將這份論文整理了一下，發給了顧銘。
“幫我投 PMJ。”
發完以後他覺得少了點什麼，又補充了一句。
“記得標註一下，用時 68個小時。”
做完這些以後，李東就吹着口哨出了門。
……
此時網上關於人工智能是否應該繼續依靠算力搶先攻克數學難題的爭論還在繼續着。
OpenAI雖然沒有針對 25位菲爾茲獎得主的聯名聲明做出回應。
但他們卻悄悄撤回了對 mathathon的贊助。
mathathon是一項以人工智能輔助數學研究爲主題的團隊競賽。
參賽者要利用贊助方提供的算力資源，在規定時間內挑戰尚未解決的數學問題。
因此，OpenAI撤銷贊助的舉動，在外界看來，其實已經是對這場爭議做出了回應。
然而這個舉動卻遭到了一部分人的不滿。
“不是，OpenAI，你們不能慫啊！”
“現在 AI都已經發展到這個地步了。”
“你們爲什麼要停下來呀？”
“對啊，不可能因爲外面的人還在用鏟子，你們就不用挖掘機了吧？”
很快有人反駁這一部分人的說法。
“我想你們理解錯了，數學家們說的從來不是不準人工智能去碰數學。”
“你們看看未央的數學版，現在做數學研究的有多少人不用它檢查推導、整理證明？”
“要知道，未央到現在爲止，分數依然是斷層領先其他人工智能的。”
“那他爲什麼沒有暴力的去破解這些數學難題呢？”
“因爲未央從發佈的時候就說過他是數學家的助手和同伴，他知道一道證明一道猜想的價值不僅僅是要最後的那個結果。”
“爲了去搶那些結果，就用黑盒的方式暴力破解那些原本可能催生更多的新思想、新工具的猜想和難題，這樣做真的有價值嗎？”
“哎，我說你們這些爲數學家辯解的人，翻來覆去就只有這麼一套嗎？價值價值，價值在哪呢？我咋沒看到呢？”
“我現在只看到 AI破解了千禧年難題，這就是他們的價值，而你們說的價值呢？”
就在網上爭論不休的時候。
兩天後，PMJ的官網上刊登出了一篇最新的論文。
《四維量子楊米爾斯理論的非微擾構造與質量間隙。》
? 今天可能晚點
已經熬了一個通宵了，然後寫到現在，發現寫的跟坨狗屎一樣，準備刪掉重新寫，所以今天要晚一點了，我今天已經給公司請假了，一定會把它趕出來的。真沒偷懶附上碼子記錄。
? 第603章 李東教授不是這麼狹隘的人
李東關於楊米爾斯存在性與質量間隙問題的論文發出來以後，頓時吸引了全球所有人的目光。
要是換做平時的話，第一時間關注這個事的，無非就是數學圈或者物理學圈。
但這一次，卻加上了槓精圈。
因爲李東發的這篇論文的時間實在太巧了。
大家前幾天還在槓，數學家是不是不如 AI啦？不，甚至是頂尖的數學家都不如 AI啦。
畢竟 7道千禧年難題，人類數學家只攻破了一個。
而 AI在這些某些的眼裏已經攻破了一個半猜想了，甚至馬上第二個、第三個也會跟着出來。
所以李東這篇論文的出現，就是在赤裸裸的打他們的臉。
華夏，南開大學數學科學院的一間男生寢室裏。
此時寢室的燈已經熄了。
一個男生正在自己的牀位上，刷着短視頻。
這時，手機的頂部彈出了一條新華社的新聞。
【千禧年七大數學難題之一的，楊米爾斯存在性與質量間隙的問題，已被人類數學家菲爾茲獎得主、諾貝爾物理學獎得主李東院士攻克。】
男生的笑容僵住了，然後揉了揉眼睛，最後點進了這篇新聞裏。
1分鐘後……
安靜的男生寢室裏突然傳出了一聲吼叫。
“臥槽，牛逼呀！”
寢室裏的其他人被這一聲嚇得一激靈。
“劉陽，你神經病吧？大半夜的不睡覺，你在這發什麼瘋？”
“你們快看，李東，不，東神……東神他把楊米爾斯存在性與質量間隙的問題給解決了。”
原本那幾個迷迷糊糊的室友，聽到這話，立馬坐了起來。
“臥槽，真的？”
“真的，新華社剛發的視頻。”
“好好好。”
“上次在評論區給我槓AI比數學家牛逼的逗比們，等着，你們的爸爸回來了。”
然後幾人都翻身下牀，有的拿手機，有的開電腦，就準備開始在新的戰場裏戰鬥。
然而當一切都準備就緒的時候，他們卻找不到戰場了。
整個網絡上，除了新華社的視頻以外，就沒有任何的營銷號、科普號來報道這件事情，頂多就是轉發了一下新華社的那個視頻。
“哎，不對呀！這些營銷號還有科普博主，今天動作這麼慢嗎？這麼大的新聞，不第一時間起來蹭熱度？”
又過了 10分鐘，他們實在找不到戰場了，其中一個室友提議道。
“要不咱們就在官媒下面去戰鬥？”
“你傻呀在官媒下面戰鬥，我們的戰鬥力會被限制的。”
“哎，也是，那就再等等吧，那些營銷號搞快一點啊。”
……
凌晨 2點，天津NK區，一個建於上世紀 90年代末的老小區裏。
周旭是一個擁有 120萬粉絲，專門科普和楊先生相關知識的科普博主。
此時他正紅着眼睛，看着眼前 PMJ上的論文。
他短視頻的後臺裏，催更的消息已經到達了 999的上限了。
但他一條都沒有回覆，因爲此時的他三觀有點崩潰。
他自認爲對楊先生的所有研究都有着很深的理解。
雖然他不是做科研的，但宇稱不守恆啊、非阿貝爾規範理論啊，他都能給他的觀锌破盏那迩宄�
更別說是千禧年難題之一的楊米爾斯存在性與質量間隙的問題了。
可是現在眼前的這篇論文，他纔剛看到第一頁的規範協變分塊消元變換的時候，就直接卡死了。
“這是啥啊？”
“爲什麼把塊內的場變量積掉以後，塊邊界的規範協變性還能保留下來啊？這個平行輸哂质窃觞N放進去的？”
這個新出現的數學工具，他別說沒見過了，聽都沒聽說過。
於是他連忙打開網頁，開始在網上搜索。
然而卻沒有找到任何和這個新工具相關的條目。
然後他又試着把工具名拆開，把後面的變換去掉，又把前面的限定詞帶上。
這下倒是能搜出一些相關的東西了，他也能看懂。
可是網頁上搜索的東西和這個新工具不是一回事，根本就沒辦法帶入論文裏。
最後他實在沒辦法了，就點開了 OpenAI的界面，將這個數學工具裏關於塊邊界的定義和那一步積分複製了上去。
然後讓 GPT告訴他這個數學工具到底是怎麼出現的？爲什麼能讓分塊後的有效作用量保持規範不變性？這個數學工具真的成立嗎？
隨着 GPT開始思考，時間一分一秒地過去了。
半個小時後，AI總算給出了答案。
【這個方法對塊內場變量積分時，破壞了邊界的規範協變性，所以規範協變分塊消元變換法是錯誤的。】
周旭看着這個結果，整個人愣住了。
錯誤的？
他又看了看自己剛纔給的條件，是不是給少了？
沒少啊。
這個時候要是換做其他人寫的論文，他可能都開始準備打假了。
但這是李東院士的論文啊，他怎麼可能會出錯？
他皺着眉頭想了想，最後又把這個問題換了一個問法。
他把問題的最後一句“是否成立”換成了“請逐步推導到這一步”。
這一次，AI又開始了漫長的思考。
一個小時以後，周旭都快以爲 AI被卡死了，它終於給出了回覆。
【塊邊界保留的平行輸吲c邊界收縮規範指標後，端點的規範變換因子相互抵消，因此……略】
【所以，這個數學工具成立。】
就在周旭以爲 AI已經回覆完了的時候，聊天窗口裏又給出了 AI自己的判斷。
【這一工具爲非微擾規範場的多尺度分析提供了新的構造途徑。】
【是數學史上最偉大的數學工具之一。】
上一篇：我家艺人太没上进心了
下一篇：挨打永久加防御，神魔都打不动我