第286章 小芯引入自動優化電路版圖
屏幕上的版圖片區塊一塊接一塊翻過去,紅灰交錯的熱點邊界像一片不斷變化的危險地圖。有人盯著規則映射表,有人盯著約束條件樹,有人反覆回看同一處局部布線的收斂失敗記錄。白板上被寫滿又擦掉,擦掉又重寫,最後留下的卻始終只有兩類信息——哪裡最容易死人,哪裡可能長出活路。
補天項目進入聯合攻關後,節奏反而比最初更快了。
不是因為人多了,而是因為所有人都被迫承認一個現實:靠人腦一遍遍在高複雜約束空間裡試錯,未來科技撐得住一時,撐不住下一代。版圖熱點、規則衝突、局部時序塌陷、功耗反彈、寄生效應牽連、路徑讓渡失敗,這些問題平時像一攤分散在工具流程各處的技術細節,可一旦外部設計工具鏈開始收口,它們就會一股腦長成真正意義上的工程黑洞。
而補天第一階段選中的切口,恰恰就是這種黑洞最密的地方。
凌晨三點十二分,封閉會議室里又一次安靜下來。
大屏幕上停著一塊極其複雜的脫敏版圖區塊。它來自天衡後續演進的一段真實設計中間態,裡面疊著多層局部熱點、規則紅線和幾條被反覆回退過的候選路徑。過去兩天,章宸和顧楠已經帶著人用傳統辦法在上面跑了三輪,結果很難看——不是完全找不到解,而是每次壓掉一個熱點,都會在別的地方重新炸開新的風險;每次讓出一條路徑,又會把原本勉強站住的功耗窗口頂得發飄。
這就是他們真正頭疼的地方。
有些問題不是不會做,而是做得起和做不起之間,隔著整整一個時代的研發效率。
一位來自做複雜優化方向的老教授盯著那塊區圖看了很久,終於開口:「這東西再硬靠人工推,後面只會越來越像填無底洞。」
顧楠靠在桌邊,嗓子已經有些啞:「所以才把這塊拎出來。它足夠噁心,也足夠真實。補天要是連這種問題都接不住,做出來的就只能是樣板戲。」
旁邊一名年輕博士低聲道:「那就別先問能不能一步優化到最好了。先問,能不能把明顯的死區剔掉。」
這句話一落,趙靜抬起頭。
她原本在看另一塊小芯的約束理解界面,聞言把終端轉了過來,屏幕上是一組仍很粗糙的風險邊界識別結果。紅色區域不算精準,灰色緩衝帶也還顯得過寬,可那些被模型優先圈出的地方,已經和人工標出的高風險區開始出現越來越穩定的重疊。
她沒有立刻說話,只把那張圖緩緩推到大屏旁邊。
屋裡幾個人幾乎同時看了過去。
章宸先皺了皺眉:「你想把它往更深一層拖?」
趙靜點頭。
「只識別熱點,已經不夠了。」她說,「補天現在第一階段靠小芯先認禁區、認紅線,是對的。但如果它一直停在『告訴大家別亂動』這個層級,它最多只是一個危險提示器。這樣能省一點命,不夠接住後續骨架。」
那位來自研究所的中年學者看了她一眼:「你想讓它開始提優化建議?」
「不是提『建議』。」趙靜搖頭,「建議這個詞太輕,也太像助手。我要它進入局部自動優化流程。」
這句話落下去,會議室里一下靜了。
不是沒人想過這一步。
恰恰相反,很多人心裡都知道,小芯遲早得碰到這裡。只是補天剛起步,所有人都在克制著不讓這條線過早冒進。畢竟EDA這種東西最忌諱自信過頭——你可以慢,可以笨,甚至可以先半自動,但不能在規則沒吃透的時候放任一個模型帶著人往錯誤方向高效狂奔。
林薇站在屏幕另一側,目光很穩:「說清楚。怎麼引,不要用『未來可能』這種話。」
趙靜把終端接入主屏,很快調出一頁新的框架圖。
圖上只有三層。
第一層:禁區識別。
第二層:候選路徑生成。
第三層:人工校驗閉環。
「現在小芯已經在第一層摸到門了。」趙靜點著第一行,「它開始知道哪些區域不能碰,哪些規則衝突不是局部讓一點就能解決,哪些熱點背後連著更大的塌陷風險。下一步,不是讓它直接給出最終版圖,而是讓它在確定禁區以後,生成一批符合底層規則約束的局部候選調整路徑。」
她頓了頓,語氣壓得很實。
「注意,是候選路徑,不是最終答案。它做的是把原本人腦最耗命、最重複、最容易在高維空間裡白白浪費時間的那部分試探,往前推一步。」
會議室里沒人插嘴。
因為這正好踩在補天此刻最敏感也最關鍵的邊界上——不把模型神化,但也不讓它只停在旁邊舉牌提醒。
章宸盯著那三層結構,看了幾秒才問:「怎麼保證它不把錯誤放大?」
「靠兩道鎖。」趙靜說。
她伸手在第二層和第三層之間畫了兩道豎線。
「第一道,規則鎖。所有生成動作必須在現有規則映射框架和人工確認過的硬邊界內運行。觸紅線的候選路徑一律不出結果。第二道,代價鎖。不是只看單點熱點能不能被壓下去,而是同步把時序、局部功耗、布線密度、物理可實現性這些代價打分,低於閾值直接丟棄。」
那位老教授聽到這裡,眼神終於認真起來。
「也就是說,」他緩緩道,「你不是讓模型替工程師拍板,是讓它先把不值得人類花命去試的那些錯路,大批量篩掉。」
「對。」趙靜說,「補天現在最缺的不是神跡,是少走死路。」
屋裡安靜了兩秒。
然後,章宸忽然轉頭看向大屏上那塊脫敏區圖:「拿它試。」
顧楠幾乎是同時抬頭:「現在?」
「就現在。」章宸聲音極穩,「補天要把小芯拖進自動優化電路版圖,不需要先找最容易成功的樣例。找這種最噁心、最反覆、最像真實戰爭的問題,才知道它到底有沒有資格進場。」
趙靜沒有猶豫:「可以。但我有條件。」
林薇看向她。
「第一,第一批只做局部優化,不碰整段全局重構。第二,所有輸出都要有可解釋約束路徑,不能給一堆看起來像答案、實際上沒人知道它為什麼這麼改的黑箱結果。第三,小芯組和晶片組必須綁成一個作戰單元,不分你們我的問題定義。」
章宸幾乎沒思考就答:「同意。」
這時,那個做機器學習輔助搜索的青年學者忽然往前走了半步,盯著框架圖道:「再補一層。」
眾人看向他。
他拿過筆,在第二層候選路徑生成旁邊加了四個字——搜索死區迴避。
「很多局部版圖優化真正耗死人的,不是找不到可行路徑,而是不斷重複進入一些結構上幾乎沒有收益、卻會把搜索資源吞得很厲害的區域。」他說,「如果小芯能先學會識別哪些空間一旦進去,九成概率會浪費掉大把算力和人工校驗時間,那它價值會立刻翻倍。」
趙靜眼睛一亮:「這個我們能接。」
那位青年學者繼續說:「前提是給我足夠多的失敗樣本,不只是成功樣本。模型最先要學會的,不是怎麼聰明,而是怎麼別犯那些工程師已經犯過幾百遍的蠢。」
「失敗樣本我們最多。」顧楠難得接得很快,甚至帶了點冷硬的笑意,「補天別的沒有,死路管夠。」
會議室里壓著的一絲緊張氣息終於散開了一點。
可也只是一點。
因為每個人都很清楚,從這一刻起,補天的性質開始往前跨了半步。小芯不再只是一個識別熱點和輔助理解規則的工業副手,它開始被真正拖進「自動優化電路版圖」這個更危險、更容易出錯、也更可能改變補天效率上限的核心區域。
林薇看著白板上新加出來的幾行字,沉默片刻,直接下判斷:「可以進。但先定紀律。」
她轉身在白板另一側寫下三條:
不追求一次成功。
不允許黑箱越權。
不讓模型替人承擔判斷責任。
寫完之後,她把筆一放,目光掃過眾人。
「小芯進入自動優化版圖,不是為了向外證明未來科技有多激進,也不是為了在內部造一個新神話。它進來,只干一件事——把補天第一階段最耗命的那部分試探,先壓下去。」
她停了一下,聲音更冷。
「誰要是把這件事做成演示秀,立刻踢出去。」
沒有人覺得這話重。
因為誰都知道,越是這種時候,越不能讓熱情壓過工程紀律。
早上六點,第一組混編小隊正式成形。
晶片組兩人,驗證組一人,小芯組三人,研究所算法骨幹一人,高校方向兩人,再加一名負責規則映射與解釋路徑梳理的年輕講師。八個人被直接鎖進了補天側隔離機房裡,桌面上只有兩份樣例、四套規則約束表和一張寫得極其難看的階段目標:
48小時內:讓小芯給出第一批可解釋候選優化路徑。
72小時內:證明它至少能穩定避開一批人工已知死區。
沒有「做出成果」的漂亮表述。
只有能不能在短時間裡救命的硬要求。
機房裡最先忙起來的,不是寫模型的人,而是做規則整理的人。
小芯要進入自動優化版圖,第一步不是餵它更多電路圖,也不是堆算力,而是把那些原本散落在工程師腦子裡、工具設置里、經驗手冊里、失敗記錄里的「別這麼動」「這裡一碰就會連炸」「這條路看起來通,實際會拖垮別處」的隱性知識,儘可能結構化地抽出來。
這比任何人預想得都痛苦。
因為很多東西平時根本沒人會完整寫下來。它們藏在一代代工程師的直覺里,藏在某次回退之後的一句「別再試這個方向」,藏在某段流程里默認被跳過的一個選項里。
趙靜在機房裡轉了一圈,看著屏幕上一條條被強行顯性化的規則,忽然想起飛星第一次整機上電失敗後的那場重構。那個時候,他們也是被逼著把許多原本被默認正確的局部邏輯掀開,重新問一遍:什麼才是生存鏈,什麼只是表達鏈。
而現在,補天正在對設計工具做同樣的事。
不是先問怎麼漂亮地自動化。
而是先問,哪些地方不能讓系統自己犯蠢。
中午十一點二十,第一版候選生成框架跑起來了。
結果很難看。
小芯給出的十二條候選路徑里,七條直接觸碰硬規則紅線,兩條雖然沒觸紅線,卻在代價評分上低得一眼就能判死,還有一條甚至把原本勉強平衡住的局部功耗窗口整個頂歪了。
機房裡一時沒人說話。
那位年輕博士盯著結果看了幾秒,低聲道:「這不行。」
「廢話。」顧楠靠著桌邊,語氣卻不重,「第一刀要是這麼容易中,補天就不叫補天了。」
趙靜沒被這輪失敗打亂,她反而走近屏幕,把那七條觸線候選逐條放大。
「不是白跑。」她說。
眾人看向她。
趙靜伸手圈住其中兩條路徑的中段交匯區:「看這裡。它不是隨機亂撞,它是在某些特定結構里反覆誤判『局部讓位』和『整體可活』的關係。說明它雖然還不懂怎麼優化,但已經開始在某個錯誤方向上形成穩定偏差。這個偏差一旦抓住,就能糾。」
那位老教授也走了過來,看了幾眼後點頭:「她說得對。完全隨機最可怕,因為你連它錯在哪兒都抓不住。現在這種錯,反而開始有工程意義了。」
章宸一直沒出聲,這時才開口:「那就別急著追正確率。先把這類穩定誤判壓掉。」
「同意。」趙靜迅速接上,「我們不是要它馬上會做題,是要它先不在同一個坑裡摔一百次。」
於是機房裡的目標又被改了一次。
白板上原本寫著的「第一批可解釋候選路徑」,被林薇走進來後親手補了半行:
先去掉最穩定的錯誤。
這個動作很小,卻立刻把整個小隊從「怎麼快點成功」重新拽回了補天熟悉的戰時邏輯:先保命,再長骨。
下午兩點,第二輪訓練與規則裁剪並軌。
這一次,小芯沒有再一口氣生成十二條候選路徑,而是被強行限制在更小的局部搜索空間裡。高校那邊做複雜優化的團隊把一套死區迴避的啟發式裁剪方法並了進來;研究所算法骨幹則把兩組常見熱點結構上的局部異常模式庫重新壓成了更適合機器讀的形式;晶片組和驗證組把三批失敗樣例的人工回退路徑也一併餵了進去。
到傍晚時,第三輪結果出來了。
數量從十二條降到了五條。
可這五條里,終於有兩條沒有觸硬規則紅線;其中一條代價評分仍然偏差,但另一條已經第一次在局部熱點壓降、布線密度和物理可實現性之間形成了一個勉強站得住的平衡。
機房裡先是沉默。
隨後,一名年輕講師猛地站直了些:「它不是在瞎試了。」
顧楠盯著那條路徑看了足足十幾秒,才低聲道:「繼續校。」
章宸已經走到屏幕前,親手把那條候選路徑投到主屏最大化。他沒急著說「成了」,因為他太清楚補天這種事,最忌諱把階段性可用誤判成已經穩定。但他眼底那一瞬間的變化,還是沒逃過周圍幾個人的視線。
那不是驚喜。
是某種更冷的確認。
小芯,真的開始摸到門了。
晚上八點四十,補天主會議室臨時開了個極小範圍的碰頭會。
參會的只有陳醒、林薇、章宸、趙靜、周明、蘇黛和兩位核心外部學者。
屏幕上放著今天的全部結果:第一輪失敗、第二輪偏差、第三輪第一次形成可用局部候選路徑。
陳醒從頭到尾看完,沒有立刻評價,只問趙靜一句:「這一步意味著什麼?」
趙靜顯然已經想了很久,答得很慢,也很準。
「意味著小芯開始從『識別版圖熱點』進入『參與局部版圖自動優化』。它還遠不到能主導的程度,但它已經不只是提醒大家哪裡危險,而是開始試著在規則允許的邊界內,替工程師先探一段路。」
陳醒又看向章宸:「你怎麼看?」
章宸沒有用樂觀詞。
「工程上,這還只是第一腳。」他說,「但性質很不一樣。只會識別風險,是輔助。能穩定避開一批搜索死區,並給出有解釋路徑的局部候選優化,那就開始接近工具能力了。」
這句話一出,屋裡幾個人都沒立刻接。
因為他們都知道,「接近工具能力」這幾個字,在補天這個階段意味著什麼。
這不是表演意義上的智能化,也不是發出去給外界看的概念包裝。它是補天第一次真正用未來科技自己的方法,在別人長期壟斷的工具問題空間裡,撬開了一條極窄、卻極關鍵的縫。
林薇看著屏幕上那條仍顯粗糙的候選路徑,沉聲道:「可以繼續往前,但邊界要再壓。」
她轉頭看向趙靜。
「小芯引入自動優化電路版圖,這句話從今天開始只在這個房間裡成立。對外,對內大範圍,都不准這麼說。補天還是補天,小芯還是輔助預研。」
周明立刻點頭:「我會切。」
「另外,」林薇繼續道,「不能讓所有團隊一擁而上都去碰自動優化。補天主線還是先保命。小芯這條線成立,但只允許在第一批兩個切口上深入,別把戰線自己拉炸。」
趙靜答得很乾脆:「明白。」
這時,那位老教授忽然開口:「有個問題,你們要提前想。」
眾人看向他。
「自動優化版圖這種事,一旦有第一段真結果,外面早晚會聞到味道。」他說,「不是你們泄露,是很多異動加在一起太容易讓人起疑。研究所遞論文,高校突然密集進場,未來科技內部工具鏈預案切得越來越深,再加上小芯這條線本身就已經被外界盯著。你們現在跑出來的,哪怕只是一小段骨架,放到懂行的人眼裡,分量都不輕。」
會議室里安靜下來。
周明眼神微沉:「我們還能壓多久?」
李明哲不在場,但他這些天反覆說過類似判斷——猜測不會立刻形成完整敘事,但異動一旦積累到某個程度,外部觀察機構遲早會把這些線索一點點拼起來。
蘇黛低頭翻了下終端:「八校進駐已經切得很碎,但終究不可能完全沒有痕跡。再加上幾家研究單位的論文遞送節奏也起來了,外部如果專門盯,會感覺到不對。」
陳醒坐在長桌盡頭,沉默了幾秒,才開口:「那就搶時間。」
所有人都看向他。
陳醒的聲音不高,卻很穩。
「外面什麼時候聞到,不由我們定。能由我們定的,是在他們聞到之前,補天能不能先跑出一段真正像樣的東西。只要跑出來,後面就不是別人說我們想不想做EDA的問題,而是他們得承認——這條路,已經有人在走了。」
沒有人反駁。
因為這就是現在最本質的戰時邏輯。
不是去阻止猜測。
而是在猜測變成圍堵之前,讓現實先長出來。
會議散後,趙靜沒有立刻離開。
她獨自回到那間隔離機房,看著屏幕上小芯剛剛完成標註的一批新版區圖。紅灰相間的邊界比昨天又清楚了一點,幾條候選路徑也開始不再顯得那麼莽撞。它還很粗,很笨,甚至離真正意義上的自動版圖優化還有極遠的距離。
可趙靜很清楚,補天最危險也最珍貴的地方,就在這裡。
很多真正改變路徑的技術,不是從「已經成熟」開始的,而是從「第一次證明這件事不是純幻想」開始的。
她伸手關掉其中一塊屏幕,又打開另一份更深的接口草案。
那是她和幾個年輕學者剛剛寫出來的新計劃標題:
小芯—約束搜索—局部版圖自動優化接口二期預案
她盯著那幾行字看了很久,眼神一點點沉了下去。
因為她知道,一旦這條接口繼續往下長,小芯就不再只是補天裡的一把放大鏡、一把裁剪刀,它會開始真正碰到更核心也更危險的問題——電路版圖自動優化,究竟能不能從「輔助嘗試」走到「工程可用」。
而一旦走到那一步,補天這場仗的性質,就真的會變。
門外走廊上,腳步聲再次響起。
周明推門進來,臉色比剛才更冷一點。
「剛收到線報。」他說。
趙靜轉過頭:「哪邊?」
「外面有兩家產業觀察機構開始同時追一件事。」周明走到屏幕前,目光落在那批新生成的候選路徑上,「他們在問,華夏這邊最近為什麼會同時出現幾條和設計工具相關的異常研究動向。」
機房裡空氣一下靜了些。
趙靜沒有說話,只看著屏幕上那幾片仍在閃動的熱點邊界。
幾秒後,她低聲道:「比預想得快。」
「嗯。」周明點頭,「還只是聞到味,不是成形。但媒體那邊,一旦有人先把話挑出來,事情就會往另一個方向走。」
他說完,終端輕輕震了一下。
周明低頭掃了一眼,神色更沉。
「國外那邊已經有人在試探性寫標題了。」他緩緩抬頭,聲音壓得很低,「他們還沒拿到實錘,但語氣已經開始變了。」
趙靜看著他:「什麼語氣?」
周明頓了頓,像是在壓住某種更大的風暴感。
「他們開始問——」
「華夏,是不是要自己造EDA了。」
補天項目進入聯合攻關後,節奏反而比最初更快了。
不是因為人多了,而是因為所有人都被迫承認一個現實:靠人腦一遍遍在高複雜約束空間裡試錯,未來科技撐得住一時,撐不住下一代。版圖熱點、規則衝突、局部時序塌陷、功耗反彈、寄生效應牽連、路徑讓渡失敗,這些問題平時像一攤分散在工具流程各處的技術細節,可一旦外部設計工具鏈開始收口,它們就會一股腦長成真正意義上的工程黑洞。
而補天第一階段選中的切口,恰恰就是這種黑洞最密的地方。
凌晨三點十二分,封閉會議室里又一次安靜下來。
大屏幕上停著一塊極其複雜的脫敏版圖區塊。它來自天衡後續演進的一段真實設計中間態,裡面疊著多層局部熱點、規則紅線和幾條被反覆回退過的候選路徑。過去兩天,章宸和顧楠已經帶著人用傳統辦法在上面跑了三輪,結果很難看——不是完全找不到解,而是每次壓掉一個熱點,都會在別的地方重新炸開新的風險;每次讓出一條路徑,又會把原本勉強站住的功耗窗口頂得發飄。
這就是他們真正頭疼的地方。
有些問題不是不會做,而是做得起和做不起之間,隔著整整一個時代的研發效率。
一位來自做複雜優化方向的老教授盯著那塊區圖看了很久,終於開口:「這東西再硬靠人工推,後面只會越來越像填無底洞。」
顧楠靠在桌邊,嗓子已經有些啞:「所以才把這塊拎出來。它足夠噁心,也足夠真實。補天要是連這種問題都接不住,做出來的就只能是樣板戲。」
旁邊一名年輕博士低聲道:「那就別先問能不能一步優化到最好了。先問,能不能把明顯的死區剔掉。」
這句話一落,趙靜抬起頭。
她原本在看另一塊小芯的約束理解界面,聞言把終端轉了過來,屏幕上是一組仍很粗糙的風險邊界識別結果。紅色區域不算精準,灰色緩衝帶也還顯得過寬,可那些被模型優先圈出的地方,已經和人工標出的高風險區開始出現越來越穩定的重疊。
她沒有立刻說話,只把那張圖緩緩推到大屏旁邊。
屋裡幾個人幾乎同時看了過去。
章宸先皺了皺眉:「你想把它往更深一層拖?」
趙靜點頭。
「只識別熱點,已經不夠了。」她說,「補天現在第一階段靠小芯先認禁區、認紅線,是對的。但如果它一直停在『告訴大家別亂動』這個層級,它最多只是一個危險提示器。這樣能省一點命,不夠接住後續骨架。」
那位來自研究所的中年學者看了她一眼:「你想讓它開始提優化建議?」
「不是提『建議』。」趙靜搖頭,「建議這個詞太輕,也太像助手。我要它進入局部自動優化流程。」
這句話落下去,會議室里一下靜了。
不是沒人想過這一步。
恰恰相反,很多人心裡都知道,小芯遲早得碰到這裡。只是補天剛起步,所有人都在克制著不讓這條線過早冒進。畢竟EDA這種東西最忌諱自信過頭——你可以慢,可以笨,甚至可以先半自動,但不能在規則沒吃透的時候放任一個模型帶著人往錯誤方向高效狂奔。
林薇站在屏幕另一側,目光很穩:「說清楚。怎麼引,不要用『未來可能』這種話。」
趙靜把終端接入主屏,很快調出一頁新的框架圖。
圖上只有三層。
第一層:禁區識別。
第二層:候選路徑生成。
第三層:人工校驗閉環。
「現在小芯已經在第一層摸到門了。」趙靜點著第一行,「它開始知道哪些區域不能碰,哪些規則衝突不是局部讓一點就能解決,哪些熱點背後連著更大的塌陷風險。下一步,不是讓它直接給出最終版圖,而是讓它在確定禁區以後,生成一批符合底層規則約束的局部候選調整路徑。」
她頓了頓,語氣壓得很實。
「注意,是候選路徑,不是最終答案。它做的是把原本人腦最耗命、最重複、最容易在高維空間裡白白浪費時間的那部分試探,往前推一步。」
會議室里沒人插嘴。
因為這正好踩在補天此刻最敏感也最關鍵的邊界上——不把模型神化,但也不讓它只停在旁邊舉牌提醒。
章宸盯著那三層結構,看了幾秒才問:「怎麼保證它不把錯誤放大?」
「靠兩道鎖。」趙靜說。
她伸手在第二層和第三層之間畫了兩道豎線。
「第一道,規則鎖。所有生成動作必須在現有規則映射框架和人工確認過的硬邊界內運行。觸紅線的候選路徑一律不出結果。第二道,代價鎖。不是只看單點熱點能不能被壓下去,而是同步把時序、局部功耗、布線密度、物理可實現性這些代價打分,低於閾值直接丟棄。」
那位老教授聽到這裡,眼神終於認真起來。
「也就是說,」他緩緩道,「你不是讓模型替工程師拍板,是讓它先把不值得人類花命去試的那些錯路,大批量篩掉。」
「對。」趙靜說,「補天現在最缺的不是神跡,是少走死路。」
屋裡安靜了兩秒。
然後,章宸忽然轉頭看向大屏上那塊脫敏區圖:「拿它試。」
顧楠幾乎是同時抬頭:「現在?」
「就現在。」章宸聲音極穩,「補天要把小芯拖進自動優化電路版圖,不需要先找最容易成功的樣例。找這種最噁心、最反覆、最像真實戰爭的問題,才知道它到底有沒有資格進場。」
趙靜沒有猶豫:「可以。但我有條件。」
林薇看向她。
「第一,第一批只做局部優化,不碰整段全局重構。第二,所有輸出都要有可解釋約束路徑,不能給一堆看起來像答案、實際上沒人知道它為什麼這麼改的黑箱結果。第三,小芯組和晶片組必須綁成一個作戰單元,不分你們我的問題定義。」
章宸幾乎沒思考就答:「同意。」
這時,那個做機器學習輔助搜索的青年學者忽然往前走了半步,盯著框架圖道:「再補一層。」
眾人看向他。
他拿過筆,在第二層候選路徑生成旁邊加了四個字——搜索死區迴避。
「很多局部版圖優化真正耗死人的,不是找不到可行路徑,而是不斷重複進入一些結構上幾乎沒有收益、卻會把搜索資源吞得很厲害的區域。」他說,「如果小芯能先學會識別哪些空間一旦進去,九成概率會浪費掉大把算力和人工校驗時間,那它價值會立刻翻倍。」
趙靜眼睛一亮:「這個我們能接。」
那位青年學者繼續說:「前提是給我足夠多的失敗樣本,不只是成功樣本。模型最先要學會的,不是怎麼聰明,而是怎麼別犯那些工程師已經犯過幾百遍的蠢。」
「失敗樣本我們最多。」顧楠難得接得很快,甚至帶了點冷硬的笑意,「補天別的沒有,死路管夠。」
會議室里壓著的一絲緊張氣息終於散開了一點。
可也只是一點。
因為每個人都很清楚,從這一刻起,補天的性質開始往前跨了半步。小芯不再只是一個識別熱點和輔助理解規則的工業副手,它開始被真正拖進「自動優化電路版圖」這個更危險、更容易出錯、也更可能改變補天效率上限的核心區域。
林薇看著白板上新加出來的幾行字,沉默片刻,直接下判斷:「可以進。但先定紀律。」
她轉身在白板另一側寫下三條:
不追求一次成功。
不允許黑箱越權。
不讓模型替人承擔判斷責任。
寫完之後,她把筆一放,目光掃過眾人。
「小芯進入自動優化版圖,不是為了向外證明未來科技有多激進,也不是為了在內部造一個新神話。它進來,只干一件事——把補天第一階段最耗命的那部分試探,先壓下去。」
她停了一下,聲音更冷。
「誰要是把這件事做成演示秀,立刻踢出去。」
沒有人覺得這話重。
因為誰都知道,越是這種時候,越不能讓熱情壓過工程紀律。
早上六點,第一組混編小隊正式成形。
晶片組兩人,驗證組一人,小芯組三人,研究所算法骨幹一人,高校方向兩人,再加一名負責規則映射與解釋路徑梳理的年輕講師。八個人被直接鎖進了補天側隔離機房裡,桌面上只有兩份樣例、四套規則約束表和一張寫得極其難看的階段目標:
48小時內:讓小芯給出第一批可解釋候選優化路徑。
72小時內:證明它至少能穩定避開一批人工已知死區。
沒有「做出成果」的漂亮表述。
只有能不能在短時間裡救命的硬要求。
機房裡最先忙起來的,不是寫模型的人,而是做規則整理的人。
小芯要進入自動優化版圖,第一步不是餵它更多電路圖,也不是堆算力,而是把那些原本散落在工程師腦子裡、工具設置里、經驗手冊里、失敗記錄里的「別這麼動」「這裡一碰就會連炸」「這條路看起來通,實際會拖垮別處」的隱性知識,儘可能結構化地抽出來。
這比任何人預想得都痛苦。
因為很多東西平時根本沒人會完整寫下來。它們藏在一代代工程師的直覺里,藏在某次回退之後的一句「別再試這個方向」,藏在某段流程里默認被跳過的一個選項里。
趙靜在機房裡轉了一圈,看著屏幕上一條條被強行顯性化的規則,忽然想起飛星第一次整機上電失敗後的那場重構。那個時候,他們也是被逼著把許多原本被默認正確的局部邏輯掀開,重新問一遍:什麼才是生存鏈,什麼只是表達鏈。
而現在,補天正在對設計工具做同樣的事。
不是先問怎麼漂亮地自動化。
而是先問,哪些地方不能讓系統自己犯蠢。
中午十一點二十,第一版候選生成框架跑起來了。
結果很難看。
小芯給出的十二條候選路徑里,七條直接觸碰硬規則紅線,兩條雖然沒觸紅線,卻在代價評分上低得一眼就能判死,還有一條甚至把原本勉強平衡住的局部功耗窗口整個頂歪了。
機房裡一時沒人說話。
那位年輕博士盯著結果看了幾秒,低聲道:「這不行。」
「廢話。」顧楠靠著桌邊,語氣卻不重,「第一刀要是這麼容易中,補天就不叫補天了。」
趙靜沒被這輪失敗打亂,她反而走近屏幕,把那七條觸線候選逐條放大。
「不是白跑。」她說。
眾人看向她。
趙靜伸手圈住其中兩條路徑的中段交匯區:「看這裡。它不是隨機亂撞,它是在某些特定結構里反覆誤判『局部讓位』和『整體可活』的關係。說明它雖然還不懂怎麼優化,但已經開始在某個錯誤方向上形成穩定偏差。這個偏差一旦抓住,就能糾。」
那位老教授也走了過來,看了幾眼後點頭:「她說得對。完全隨機最可怕,因為你連它錯在哪兒都抓不住。現在這種錯,反而開始有工程意義了。」
章宸一直沒出聲,這時才開口:「那就別急著追正確率。先把這類穩定誤判壓掉。」
「同意。」趙靜迅速接上,「我們不是要它馬上會做題,是要它先不在同一個坑裡摔一百次。」
於是機房裡的目標又被改了一次。
白板上原本寫著的「第一批可解釋候選路徑」,被林薇走進來後親手補了半行:
先去掉最穩定的錯誤。
這個動作很小,卻立刻把整個小隊從「怎麼快點成功」重新拽回了補天熟悉的戰時邏輯:先保命,再長骨。
下午兩點,第二輪訓練與規則裁剪並軌。
這一次,小芯沒有再一口氣生成十二條候選路徑,而是被強行限制在更小的局部搜索空間裡。高校那邊做複雜優化的團隊把一套死區迴避的啟發式裁剪方法並了進來;研究所算法骨幹則把兩組常見熱點結構上的局部異常模式庫重新壓成了更適合機器讀的形式;晶片組和驗證組把三批失敗樣例的人工回退路徑也一併餵了進去。
到傍晚時,第三輪結果出來了。
數量從十二條降到了五條。
可這五條里,終於有兩條沒有觸硬規則紅線;其中一條代價評分仍然偏差,但另一條已經第一次在局部熱點壓降、布線密度和物理可實現性之間形成了一個勉強站得住的平衡。
機房裡先是沉默。
隨後,一名年輕講師猛地站直了些:「它不是在瞎試了。」
顧楠盯著那條路徑看了足足十幾秒,才低聲道:「繼續校。」
章宸已經走到屏幕前,親手把那條候選路徑投到主屏最大化。他沒急著說「成了」,因為他太清楚補天這種事,最忌諱把階段性可用誤判成已經穩定。但他眼底那一瞬間的變化,還是沒逃過周圍幾個人的視線。
那不是驚喜。
是某種更冷的確認。
小芯,真的開始摸到門了。
晚上八點四十,補天主會議室臨時開了個極小範圍的碰頭會。
參會的只有陳醒、林薇、章宸、趙靜、周明、蘇黛和兩位核心外部學者。
屏幕上放著今天的全部結果:第一輪失敗、第二輪偏差、第三輪第一次形成可用局部候選路徑。
陳醒從頭到尾看完,沒有立刻評價,只問趙靜一句:「這一步意味著什麼?」
趙靜顯然已經想了很久,答得很慢,也很準。
「意味著小芯開始從『識別版圖熱點』進入『參與局部版圖自動優化』。它還遠不到能主導的程度,但它已經不只是提醒大家哪裡危險,而是開始試著在規則允許的邊界內,替工程師先探一段路。」
陳醒又看向章宸:「你怎麼看?」
章宸沒有用樂觀詞。
「工程上,這還只是第一腳。」他說,「但性質很不一樣。只會識別風險,是輔助。能穩定避開一批搜索死區,並給出有解釋路徑的局部候選優化,那就開始接近工具能力了。」
這句話一出,屋裡幾個人都沒立刻接。
因為他們都知道,「接近工具能力」這幾個字,在補天這個階段意味著什麼。
這不是表演意義上的智能化,也不是發出去給外界看的概念包裝。它是補天第一次真正用未來科技自己的方法,在別人長期壟斷的工具問題空間裡,撬開了一條極窄、卻極關鍵的縫。
林薇看著屏幕上那條仍顯粗糙的候選路徑,沉聲道:「可以繼續往前,但邊界要再壓。」
她轉頭看向趙靜。
「小芯引入自動優化電路版圖,這句話從今天開始只在這個房間裡成立。對外,對內大範圍,都不准這麼說。補天還是補天,小芯還是輔助預研。」
周明立刻點頭:「我會切。」
「另外,」林薇繼續道,「不能讓所有團隊一擁而上都去碰自動優化。補天主線還是先保命。小芯這條線成立,但只允許在第一批兩個切口上深入,別把戰線自己拉炸。」
趙靜答得很乾脆:「明白。」
這時,那位老教授忽然開口:「有個問題,你們要提前想。」
眾人看向他。
「自動優化版圖這種事,一旦有第一段真結果,外面早晚會聞到味道。」他說,「不是你們泄露,是很多異動加在一起太容易讓人起疑。研究所遞論文,高校突然密集進場,未來科技內部工具鏈預案切得越來越深,再加上小芯這條線本身就已經被外界盯著。你們現在跑出來的,哪怕只是一小段骨架,放到懂行的人眼裡,分量都不輕。」
會議室里安靜下來。
周明眼神微沉:「我們還能壓多久?」
李明哲不在場,但他這些天反覆說過類似判斷——猜測不會立刻形成完整敘事,但異動一旦積累到某個程度,外部觀察機構遲早會把這些線索一點點拼起來。
蘇黛低頭翻了下終端:「八校進駐已經切得很碎,但終究不可能完全沒有痕跡。再加上幾家研究單位的論文遞送節奏也起來了,外部如果專門盯,會感覺到不對。」
陳醒坐在長桌盡頭,沉默了幾秒,才開口:「那就搶時間。」
所有人都看向他。
陳醒的聲音不高,卻很穩。
「外面什麼時候聞到,不由我們定。能由我們定的,是在他們聞到之前,補天能不能先跑出一段真正像樣的東西。只要跑出來,後面就不是別人說我們想不想做EDA的問題,而是他們得承認——這條路,已經有人在走了。」
沒有人反駁。
因為這就是現在最本質的戰時邏輯。
不是去阻止猜測。
而是在猜測變成圍堵之前,讓現實先長出來。
會議散後,趙靜沒有立刻離開。
她獨自回到那間隔離機房,看著屏幕上小芯剛剛完成標註的一批新版區圖。紅灰相間的邊界比昨天又清楚了一點,幾條候選路徑也開始不再顯得那麼莽撞。它還很粗,很笨,甚至離真正意義上的自動版圖優化還有極遠的距離。
可趙靜很清楚,補天最危險也最珍貴的地方,就在這裡。
很多真正改變路徑的技術,不是從「已經成熟」開始的,而是從「第一次證明這件事不是純幻想」開始的。
她伸手關掉其中一塊屏幕,又打開另一份更深的接口草案。
那是她和幾個年輕學者剛剛寫出來的新計劃標題:
小芯—約束搜索—局部版圖自動優化接口二期預案
她盯著那幾行字看了很久,眼神一點點沉了下去。
因為她知道,一旦這條接口繼續往下長,小芯就不再只是補天裡的一把放大鏡、一把裁剪刀,它會開始真正碰到更核心也更危險的問題——電路版圖自動優化,究竟能不能從「輔助嘗試」走到「工程可用」。
而一旦走到那一步,補天這場仗的性質,就真的會變。
門外走廊上,腳步聲再次響起。
周明推門進來,臉色比剛才更冷一點。
「剛收到線報。」他說。
趙靜轉過頭:「哪邊?」
「外面有兩家產業觀察機構開始同時追一件事。」周明走到屏幕前,目光落在那批新生成的候選路徑上,「他們在問,華夏這邊最近為什麼會同時出現幾條和設計工具相關的異常研究動向。」
機房裡空氣一下靜了些。
趙靜沒有說話,只看著屏幕上那幾片仍在閃動的熱點邊界。
幾秒後,她低聲道:「比預想得快。」
「嗯。」周明點頭,「還只是聞到味,不是成形。但媒體那邊,一旦有人先把話挑出來,事情就會往另一個方向走。」
他說完,終端輕輕震了一下。
周明低頭掃了一眼,神色更沉。
「國外那邊已經有人在試探性寫標題了。」他緩緩抬頭,聲音壓得很低,「他們還沒拿到實錘,但語氣已經開始變了。」
趙靜看著他:「什麼語氣?」
周明頓了頓,像是在壓住某種更大的風暴感。
「他們開始問——」
「華夏,是不是要自己造EDA了。」