作者：胖胖的小橘
裡面記錄了探測器在三十年執行期間做過幾次重大維護，每次維護前後的本底測量值都有詳細記錄，李東仔細的對比了下誤差，發現沒有明顯的跳變。
至於四氯乙烯的純度檔案，他看得最仔細。
因為如果液體裡混進了對探測有干擾的雜質，那理論上應該在不同批次之間看到系統性的流量波動，而不是始終趴在同一個三分之一附近。
他把純度資料和流量曲線疊在一起看，純度高的批次和純度低的批次，流量沒有明顯區別，波動範圍都在同一個區間裡。
探測器和液體都沒有問題，所以那條曲線並不是測量誤差。
第440章 小心資本
在確定不是探測器的問題以後，李東又盯上了太陽模型。
太陽核心的溫度估算，依賴於光度、化學組成和輻射不透明度這一串輸入引數，每一個都經過了幾代物理學家的反覆校準。
如果其中有哪個引數有問題，那理論預測的流量就會跟著出問題，所以就算真的是哪個引數有問題，它真的能剛好湊出三分之二來嗎？
李東二話不說，直接開始試。
他把巴考爾最後一版標準太陽模型的誤差分析翻出來，往裡代了幾組引數，又把核心溫度上下各調了1%，算出來的流量預測值偏移量在8%以內，完全對不上三分之二這個缺口。
即便把所有不確定性全部疊加在一起，模型誤差的上限也不夠大。
所以太陽模型也沒有問題。
那這條曲線反映的不是儀器的偏差，也不是理論的錯誤的話。
那就這剩下一個問題了，中微子在途中出了問題……
不過李東抱著嚴謹的態度，又開始重新檢查。
……
大概一週以後，李東深深嘆了口氣。
他已經完全排除了這兩個方向。
剩下的只有最後一條路了……
就在這時候，他的手機響了。
電話是威滕打來的。
“李東教授，我明天就要回普林斯頓了。”
“楊先生和我一起研究的那道命題，你如果有興趣，我隨時歡迎。”
“威滕教授，我發現了一些東西，但現在還不確定。”
“等有了一些進展以後，我再和你溝通。”
電話那頭威騰教授輕咦了一聲。
“你也發現了有趣的東西？我也發現了一些有趣的東西，看來到時候咱們真的好好交流下。”
“好的，威滕教授。”
李東和威滕聊完以後，就掛了電話。
可正當他準備好好看看，中微子到底在路途中出了什麼問題的時候，電話又響了。
這一次是高穩打來的。
“李東啊，今晚有場晚宴，燕大牽頭的，主要是關於未央往通用大模型走的一些事情。”
“通用大模型？”
要知道，市面上的通用大模型，底層靠的是機率擬合，輸出什麼取決於最可能的下一個詞。
而未央不一樣，它的每一步推理都必須過形式化核驗器的型別檢查，靠的是可驗證的獎勵訊號來修正自己。
換句話說，它是被機器判對練出來的，而不是被人類偏好喂出來的。
如果這套底層邏輯往通用場景遷移，意味著它給出的推理鏈，是可以被逐步追溯和核驗的，這在通用大模型裡，幾乎是不存在的東西。
高穩那邊時不時還能聽到喇叭聲，像是在開車。
“對，因為我們知道它的優勢，所以想往通用大模型靠攏。”
“所以這次圈子裡一些廠商的人會來，學校的意思是想聽一聽他們那邊的想法，想讓你也一起過來把把關。”
“未央沒掛你的名字，但這塊核心是你的。”
“學校也希望聽聽你的意見，到時候如果覺得合適，我們商量一下和這邊有沒有合作的空間。”
“畢竟通用大模型這個東西，想要做得長久，是真的非常燒錢的。”
這話沒有半點誇張。
通用大模型的訓練成本從來不是小數字。
即便只是中等規模的一次全量訓練，光是算力租用這一項，就不是普通高校科研經費能夠輕鬆覆蓋的。
燕大自己做，算力成本、資料成本、工程人力成本加在一起，壓力其實很大。
所以學校想和外面的廠商聊聊，這件事本身沒什麼問題。
李東看了看時間，已經下午了。
他又看了看桌上的那條中微子資料曲線，第三條路還沒開始走，回來再看也一樣。
“行，我去。”
……
晚上七點半，老張把黑色轎車停在了瀾灣酒店的門口。
李東下車的時候發現外面已經站了不少人。
除了北行的李總他認識以外，旁邊站的人他大多不認識，只不過他也在一些科技板塊上見過。
見李東下了車，這些人笑著迎過來，挨個和握手。
“李東教授啊！真是年輕有為呀。”
“久仰久仰，李東教授如果有空可以來我們公司參觀參觀……”
他們大多都說著恭維的話，李東現在的身份已經不是一個學生了，他是燕大和水木兩所頂尖院校的講席教授，這些人雖然可能求不到他，但是場面話又不花錢，多說總是沒錯的。
李東也一一點頭後就跟著眾人進了酒店大廳。
大廳裡已經有不少燕大和水木的教授。
唐傑教授在人群裡看見了李東，走過來將他叫到了一個沒人的角落。
“李東教授呀，未央通用大模型的測試版你試過啦嗎？”
李東別說試過了，他連未央出了通用大模型測試版也是今天才知道的。
“我還沒有，唐教授試過了？”
“嗯試過了，能力很出色，這不用多說。”
他頓了一下，然後說：“但如果是要往通用方向走，有幾個地方，現在看來還不夠。”
李東說：“說說看？”
“我先說好的地方。”唐傑說道。
“凡是有標準答案、靠硬推理的榜單，它都強得離譜，簡直可以說是斷層領先。”
“而且，我很意外他在SWE-bench上的表現也是出人預料的好，幾乎也是斷層的水平。”
SWE-bench測試的不是大模型單獨寫程式碼的能力，而是把模型直接扔進一個真實的開源專案裡，讓它讀懂整個程式碼庫，再去修一個真實存在的bug。
這玩意兒吃的是長鏈條的推理能力，一步錯，後面全錯。
通用模型在這張榜上普遍吃力。
未央能在上面取得好成績，其實並不意外，未央的底子就是一步一步可核驗的推理，它天生不愛跳步，也不愛瞎編，這習慣挪到程式碼上，反而成了優勢。
“但是，”唐傑話鋒一轉，“另外那些榜，就不太好看了。”
“最明顯的是Chatbot Arena。”
這張榜在大模型圈子裡份量很重，它考的不是誰算得準，是真實使用者更願意跟哪個模型聊。
因此並沒有標準答案，打分的不是機器，是一個一個的活人，憑感覺投票。
全球的大廠為了在這張榜上有好名次，會專門做一道叫RLHF的工序，反覆拿真人的偏好去打磨模型，讓它學會怎麼把話說得讓人舒服。
未央在這張榜上的名次，低得幾乎可以忽略。
“它太死板了。”
“你給它一道題，它的推理無懈可擊，可你換個方式問同一件事，它就不一定能靈活地調整切入角度。”
“它的訓練訊號從來不是人類喜不喜歡，是核驗器判它對不對，所以它壓根沒學過怎麼揣摩人話。”
李東在心裡想。
“唐傑教授，你說的沒錯，但那時因為我沒時間去最佳化這些，額……小黑沒時間，算了，反正我沒時間就是小黑沒時間！”
未央現在的通用側短板，是架構層面的一些選擇帶來的，而這些選擇本來就是為了讓它在數學符號推理上做到極致。
他當初和小黑弄未央出來，就是為了方便計算。
至於有沒有考慮把未央這套底子拿去做通用大模型，說是實話，他確實動過念頭，不過也只是一瞬間。
因為不能吸引他呀，他的最終目標其實還是像小黑這樣的人工智慧，現在的這些大模型，他和夏農的態度是一樣的，什麼狗屁玩意兒。
所以李東沒有吭聲，只是點了點頭。
唐傑以為他聽進去了，於是看了看四周，確定沒人注意這邊，才繼續說道。
“李東教授，你和我們有些不一樣，作為一個過來人，給你一個建議。”
“小心資本。”
這句話說完，唐傑沒有多解釋。
但李東明白他在說什麼。
智譜最早的時候，是從學術土壤裡出來的，方向是清晰，做的人也明白自己想要什麼。
後來資本進來了，好處是顯而易見——投錢、擴規模、招人、搭基礎設施，這些事情沒有錢是沒法做的。
但錢進來以後，有些事情也跟著變了。
哪個方向更容易講故事、哪個功能更容易拿來做演示、季度的財務目標和三年的技術路線怎麼平衡，這些問題開始進入一個本來只需要想技術的決策鏈條裡，而且越進越深。
做出來的東西，也會開始越來越像市場需要的樣子，而不是技術本來應該去的方向。
這不是說智譜做錯了什麼，也不是資本本身的錯。
這就是一件事的兩面，你得到了錢，錢也會從你這裡得到它想要的。
第441章 它說讓我們去找專業教師
唐傑教授是真心的給建議。
哪怕李東現在對這個不感興趣，他也很感激唐傑的提醒。
“謝謝唐教授。”
唐傑點了點頭，兩人便沒有再聊了。
很快晚宴正式開始了，李東跟著高穩坐的主桌。
也不知道是不是因為李東的原因，這一桌子菜裡面有不少是川菜。
李東隨手夾了一筷子。
味道雖然不怎麼正宗，但是也比川香府好很多了。
於是他就這麼一邊吃，一邊聽桌子上這些成功人士高談闊論。
上一篇：我家艺人太没上进心了
下一篇：挨打永久加防御，神魔都打不动我