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