第285章 八個高校聯合攻關
補天項目啟動後的第二天,中央研究院第七封閉區的燈就再也沒完整熄過。
白天,它像一間被高密度推演和快速裁剪填滿的戰情室;到了深夜,它又像某種安靜卻高壓運轉的底層機房,屏幕上滾動的不是發布會素材,不是商業匯報,而是一段段被切碎的約束條件、熱點區塊、規則映射、衝突標記和反覆回退的搜索路徑。
補天進入戰時狀態以後,未來科技內部很多人第一次真正意識到,EDA並不是一句「工具鏈自主」就能輕飄飄概括的事。
它更像一片過去一直由別人替你鋪好的地下骨架。
你平時看不見它,但所有高端晶片、複雜版圖、跨端協同和大規模驗證,都默默踩在它上面。一旦別人抽掉幾根主梁,地上的建築未必立刻坍塌,可你下一步每往前邁,腳底都開始發空。
未來科技現在要做的,不是站在地面上罵那幾根主梁不該被抽走,而是要在腳底重新焊出一段能接住自己繼續往前的鋼架。
而隨著補天項目第一批切口越來越具體,另一個現實也迅速顯影——只靠未來科技自己關起門來打,不夠。
不是決心不夠,也不是資源不夠。
而是這條戰線本身太深。
版圖規則、複雜優化、形式方法、自動化搜索、微電子物理約束、數學建模、驗證邏輯、機器學習輔助……這些能力平時散落在不同學院、不同實驗室、不同研究方向里,像一堆彼此看似並不相鄰的點。可當未來科技真的試圖把補天往下打成「能用的骨架」時,這些點便開始同時露出它們不可替代的邊。
上午九點,中央研究院頂層小會議室的門再次合上。
和補天一級啟動時不同,這一次參會的人更少,但桌上的名單卻更多。
林薇坐在主位左側,面前攤著十幾份院校與團隊資料;章宸旁邊放著一張被標滿紅藍記號的能力映射圖;趙靜則把小芯當前第一輪約束理解框架和補天試驗樣例的反饋結果壓在手邊。蘇黛、周明、李明哲也都在場,但誰都沒先說話,因為大家都知道,今天這場會不是討論「要不要聯合」,而是討論——
到底把誰拉進來,才不會把補天拉散。
陳醒站在屏幕前,沒有急著開口,而是先把一張圖調了出來。
圖上沒有學校名字,只有八個被圈出來的方向:
複雜優化
版圖與布線
形式驗證
約束求解
混合信號建模
自動化工具
工業軟體架構
機器學習輔助搜索
「補天往外借力,不按名氣選,不按行政級別選,不按論文數量選。」陳醒看著眾人,「只按問題選。」
他抬手點了一下屏幕最左側。
「未來科技現在不是在辦一場學術聯席會,也不是在搭一個好看的開放平台。我們要找的是,誰能真正在這八個方向里,下場打仗。」
這話一落,會議室里的氣氛就定了。
周明原本還擔心高校一多,項目會被迅速稀釋成「人人參與,人人都講一點」的漂亮盤子。可陳醒第一句就先把這個風險壓住了——補天向外借力,不是做聲勢,而是精準抽人、抽腦子、抽方法。
林薇把手裡第一份資料推到中間:「昨晚到現在,我們篩了二十三家院校、四十多個團隊。能真正進入第一批候選的,只有八個。」
顧楠抬頭:「正好八個?」
「不是湊數。」林薇說,「是再多就散,再少就缺邊。」
她這話說得很冷,卻極准。
補天此刻最怕兩件事。
一是人少到能力斷層,未來科技不得不在某些關鍵方向上繼續盲打;二是人多到問題失焦,最後誰都在研究,誰都沒真把工程切口咬住。
八個,已經是她和章宸、趙靜連夜壓出來的極限平衡。
章宸接過話,把八個方向一一展開。
「第一家,做複雜組合優化和約束求解,團隊風格硬,論文不花,但在大規模搜索裁剪上有真東西。補天第二塊和第四塊都能接。」
「第二家,做微電子版圖自動布局和熱點識別,雖然以前更多偏教學和專項項目,但底層算法很紮實,和研究所遞交的那套規則映射能對上。」
「第三家,做形式方法和驗證邏輯,平時看著離消費電子遠,可只要補天后面往規則檢查和一致性風險篩查延伸,這支隊伍繞不開。」
「第四家,做混合信號協同建模,短期不一定上主戰場,但未來科技車端、衛星鏈路和更複雜端側節點後面一定會吃這塊能力,不提前埋人,後面又得臨時救火。」
「第五家,做工業軟體底層架構,可能不是最會發論文的,但他們能幫補天少踩很多工具工程化的坑。」
「第六家,做機器學習輔助搜索,過去很邊緣,可和小芯配合可能會出奇效。」
「第七家,做物理約束與規則檢查,團隊習慣苦活,不愛講故事,適合接最髒最累的那段。」
「第八家,」章宸停了一下,「做版圖布線和高維參數收斂,不在熱門敘事裡,但他們的老師帶學生有股土辦法磨死問題的勁。」
他說到這裡,輕輕吐出一口氣。
「這八家放在平時,不會自然坐到一張桌子上。做的東西不完全一樣,路徑也不一樣,彼此甚至可能都不太認同對方的研究節奏。但補天現在恰恰需要這種不一樣。」
趙靜點了點頭:「而且它們正好能和未來科技內部形成閉環。研究所給理論底座,未來科技給真實工業樣例和工程壓強,高校給分方向深打。」
蘇黛則從更現實的角度補了一句:「問題是,這八家願不願意按補天的節奏來。」
會議室里安靜了一瞬。
這是關鍵。
高校不是企業,也不是研究所里的專項戰隊。它們有自己的節奏、自己的評價體系、自己的保密顧慮、自己的項目邏輯。未來科技如果只是把人請過來開幾場會、掛幾個聯合攻關牌子,那很容易變成場面熱鬧、效率極低的空殼協作。
林薇顯然已經想過這個問題:「所以不能按普通校企合作方式談。」
「怎麼談?」周明問。
陳醒轉頭看了他一眼:「按戰時問題談,不按合作框架談。」
這句話讓幾個人都微微一怔。
陳醒繼續道:「不談大而全,不談幾年規劃,不談平台共建。就談三件事——第一,補天現在遇到的真實問題是什麼;第二,未來科技能給什麼樣的樣例、算力、工程接口和反饋閉環;第三,進入這條線以後,必須接受什麼樣的保密和推進節奏。」
他頓了一下,聲音更平:
「願意按這個打的,就進。不願意的,不強拉。」
李明哲聽到這裡,眼神動了動。
他很清楚,這種談法極不「標準」,但恰恰最適合當前形勢。因為未來科技需要的不是一張漂亮的聯合攻關名單,而是一批真正願意從論文節奏切換到工業戰時節奏的人。
周明則更快想到了另一層:「這樣一來,對外敘事也好切。不是未來科技高調拉八校造勢,而是圍繞基礎工業軟體和關鍵算法方向開展定向聯合研究,外面就算聞到味道,也還拼不出完整圖。」
「對。」李明哲接住,「補天不能自己往外喊『華夏EDA聯盟』這種找打的口號。只要問題切得足夠具體,對外永遠可以維持在『關鍵基礎研究與工程問題協同』的層面。」
林薇沒有在這個點上停太久,她直接問蘇黛:「今天能不能把接觸通道切出來?」
「能。」蘇黛點頭,「但必須分層。不是所有學校都由未來科技直接出面,有些適合研究所牽,有些適合通過專項項目口子接,還有兩家最好由老教授之間點對點把人先叫起來,避免行政路徑一走,消息反而先散。」
「誰出面合適?」趙靜問。
章宸抬手在名單旁邊點了幾下:「這三家我來談。都是偏硬的團隊,直說問題比繞著鋪墊更有效。那兩家做機器學習輔助和複雜優化的,趙靜你去接,更容易講清楚為什麼這不是『讓AI來魔法解題』。工業軟體架構和物理規則那兩家,研究所老師出面比我們強。」
那位中年學者緩緩點頭:「可以。學校里做這類東西的人,平時話不多,但只要你讓他感覺到問題是真的、數據是真的、不是來請他站台的,很多人反而比產業界想像得更願意下場。」
說到這裡,他停了一下,忽然加了一句:
「尤其是現在這種時候。」
會議室里靜了靜。
每個人都明白這句話的意思。
北洲限制升級以後,不只是未來科技內部感到了那種被工具鏈掐住的冷意。國內很多真正做底層研究的人,也第一次在非常具體的層面意識到——原來這些看上去很「冷」「慢」「不掙錢」的問題,真有一天會直接成為整個高端工業能不能繼續往前走的門檻。
所以補天現在去敲門,不再只是企業找高校幫忙。
而是在問:這場仗,你們願不願意一起打。
會議結束得很快。
不是因為事情少,而是因為沒有什麼可拖的。
中午十二點四十,第一批接觸正式開始。
未來科技沒有發公函,沒有組織所謂「聯合發布會籌備」,甚至沒有走常規商務合作那套鋪墊話術。幾路人分頭出去,像在不同城市同時點燃八根細卻硬的引線。
章宸第一個打出去的電話,接給了一位做複雜版圖與參數收斂的老教授。
電話通了,他沒有寒暄太久,只說了三句話。
「我們碰上真問題了。」
「不是缺項目,是缺能接住下一代晶片演進的工具骨架。」
「如果你願意,我們今天就把問題樣例給你看。」
電話那頭沉默了幾秒。
老教授沒有立刻答應,也沒有客套,只問了一句:「是真問題,還是企業想借高校做一輪宣傳包裝?」
章宸回答得非常直接:「如果是後者,我不會親自打這個電話。」
又是幾秒沉默。
然後,對面只回了一個字:
「來。」
另一邊,趙靜去接的是一位在機器學習輔助搜索方向長期不太被主流微電子圈看好的青年學者。
他過去幾年做的很多東西,常被人評價為「太新」「太飄」「離真實EDA太遠」。可趙靜偏偏覺得,補天現在需要的,就是這種不完全被舊工具思維綁死、又肯在硬約束里啃問題的人。
電話接通後,對方語氣里還帶著明顯警惕:「我先說清楚,我不做概念演示,也不接那種讓模型給你們畫幾張漂亮圖就算合作的項目。」
趙靜聽到這句,反而笑了。
「正好。」她說,「我們也不需要漂亮圖。我們現在缺的是,怎麼讓模型在一堆不能碰的工程紅線里,先學會別把問題越幫越亂。」
電話那頭一下安靜了。
幾秒後,對方聲音明顯變了:「你們是真要把AI往EDA里塞?」
「不是塞。」趙靜說,「是讓它先在版圖熱點和複雜空間搜索里,當個合格的副手。你要是願意,今晚就看樣例。」
對方這次沒有再遲疑:「發我保密流程。」
蘇黛這邊跑得更現實。
她沒和學校談技術,而是連著打了十幾個電話,把未來科技內部為補天準備的接待、保密、算力帳號、隔離終端、臨時住宿和短期進駐流程一股腦切了出來。她比誰都清楚,高校聯合攻關最容易死在什麼地方——不是技術,而是組織摩擦。人剛被問題激起來,結果一落地先被一堆權限、報備、設備申請和流程拖死,那股戰意很快就散了。
所以她給團隊的要求只有一句:
「別讓想來打仗的人,先死在我們自己的流程上。」
下午三點半,第一家高校團隊的人到了。
來的不是行政,不是學院領導,也不是合作辦公室的人。
而是那位老教授帶著兩個博士和一個年輕講師,直接拎著筆記本和一沓列印紙進了中央研究院的封閉接待區。連飯都沒來得及吃,就先要求看問題樣例。
周明本來還準備了一套簡版保密說明和邊界提示,結果對方只掃了一眼,便直接簽了字,隨後抬頭問:
「樣例在哪?」
顧楠把脫敏後的第一批熱點區塊調了出來。
對方四個人站在屏幕前,只看了不到十分鐘,臉色就變了。
不是為難,而是那種「終於看見真實工業痛點是什麼樣」的凝重。
老教授指著其中一塊極其複雜的熱點區域,低聲說了一句:「這不是普通研究題,這是在死人堆里找路。」
顧楠難得地嗯了一聲:「我們現在就是在找路。」
那位年輕講師沒有急著表態,而是反覆看了幾遍現有的規則映射框架和補天第一輪半自動裁剪思路,過了會兒才說:「如果按傳統思路做,這東西會越來越慢,最後不是算不出,而是算到你們項目都過期了。」
趙靜立刻接了一句:「所以我們才把小芯拖進來。」
對方抬頭看她,眼神里第一次露出明顯興趣:「模型已經接了?」
「接了第一層。」趙靜沒有誇大,「現在還很粗,但它已經開始學著認『不能碰的紅線』了。」
老教授這時忽然笑了一下,笑意卻很硬:「那你們這不是在做普通EDA補課。」
章宸看著他:「我們也沒時間走普通補課那條路。」
這四個人沒有再多說廢話。
看完樣例之後,老教授當場做了個決定:「我這邊先留下一個講師和一個博士。今晚開始並。剩下的人,我回去再挑。」
這速度快得連蘇黛都微微一愣。
因為她原本以為,哪怕第一家願意接,也要先經歷一輪內部評估、學院溝通、課題邊界確認。可對方只看了樣例,幾乎就直接切進了戰時節奏。
那位中年學者在旁邊低聲說:「高校里真正做硬問題的人,很多都這樣。你只要別騙他,他聞到問題是真的,動作比企業慢不到哪去。」
第一家剛落地,第二家、第三家的反饋也陸續回來了。
有一位做形式驗證的教授,在聽完章宸的描述後,沉默很久,只問了一句:「你們不是想讓我給未來科技寫論文掛名吧?」
章宸被問得直接笑了:「現在這個時候,我們最不缺掛名。」
對方在電話那頭輕輕吸了口氣:「那就好。你們把問題邊界發來,我今晚把學生召起來。」
另一所高校做工業軟體架構的團隊,反而是先猶豫了。
他們最擔心的不是技術難,而是補天會不會像很多企業的「戰略項目」一樣,一開始喊得凶,最後三個月後發現太難,就轉頭去做更容易出成績的東西。
結果陳醒親自和那位團隊負責人通了一次短話。
他沒有說願景,只說了一句:
「未來科技今天啟動補天,不是為了做一個能講故事的軟體界面,是為了讓下一代晶片設計不被別人掐死。」
那邊聽完,安靜了很久,最後只回了一句:
「那我們來。」
到傍晚時,八家高校里,已經有六家明確給了正面答覆。
沒有一家提出要先辦簽約儀式,沒有一家提「聯合實驗室命名權」,也沒有一家先問經費規模和宣傳口徑。
他們問的都是同樣的東西:
問題樣例。
約束邊界。
能不能進真實工程。
什麼時候開始。
這讓未來科技內部很多第一次接觸高校聯合攻關的人,都產生了一種很不真實的感覺。
仿佛那些平時看起來離產業很遠、總在論文和報告裡出現的人,一旦被真正的工業痛點和時代壓力碰到,也會迅速換一種節奏說話。
晚上七點四十,中央研究院頂層再次開了個極小範圍的碰頭會。
這次會沒有投影,只攤了最新反饋。
林薇看著名單,一邊聽蘇黛匯報,一邊用筆在旁邊做標記。
「六家已確認,兩家在內部壓方向,但意向很強。」
「第一批實際進駐人員,今晚能到四人,明早至少再到七人。」
「保密方案沒有人提異議。」
「最大的擔憂反而不是邊界,而是——他們都覺得問題比想像中更硬。」
說到最後一句時,蘇黛自己都忍不住笑了一下。
林薇抬頭:「這不是壞事。」
「當然不是。」章宸接過去,「他們覺得硬,說明他們不是來蹭名頭的,是看懂了問題。」
趙靜這時把小芯的最新界面切到了眾人面前。
屏幕上不再只是那些原始版圖片區塊,而是多了一層灰紅相間的標註區域,像某種還不夠成熟、卻已經開始具備危險感知能力的工業地圖。
「這是第一輪帶人工校驗的熱點衝突識別結果。」她說,「還不穩定,但有幾塊已經開始能提前標出『這裡不要盲目搜索』。不是給答案,是先給禁區。」
顧楠盯著看了幾秒,眉頭第一次真正鬆了一點點:「這玩意兒要是後面能跟版圖自動優化銜上,補天就不是在用人海去補刀了。」
趙靜沒立刻接這句,只是把一個被模型反覆標紅的區域放大。
「它現在像個只會喊『別亂動』的副手。」她說,「但有時候這種副手,比一個自信過頭的半吊子強。」
這話說得在場幾個人都笑了一下。
可笑意很快又被另一種更深的興奮壓住了。
因為大家都能感覺到,補天正在發生一件很重要的事——它不再只是未來科技和研究所幾支小隊在黑屋子裡硬啃,而是開始往外長出真正的體系聯動能力。
陳醒一直沒說話,直到所有反饋都聽完,才緩緩放下筆。
「還差兩家。」他說。
「明早前大概率能定。」蘇黛答道。
陳醒點頭:「八家一齊進,不是為了好看。」
沒人接話,因為都知道後面還有半句。
果然,陳醒繼續道:「是為了從今天開始,補天不再只是未來科技的應急項目,而是華夏這條線上的第一場真正聯合攻堅。」
房間裡安靜了幾秒。
李明哲抬起頭,目光微深:「這話內部可以這麼定,外部絕不能這麼說。」
「當然。」周明立刻接住,「外面還是散點研究、定向協同、基礎問題聯合攻關。只要他們一時半會兒拼不出全圖,我們就還能多搶一點時間。」
林薇則看得更現實:「外面怎麼說先放一邊。八家進來以後,最先要解決的是協同秩序。未來科技不是辦學術夏令營。誰負責什麼,誰能看什麼,誰必須在什麼時間點給出什麼結果,全要重新壓一遍。」
「我來壓。」章宸說。
「你壓技術序列。」林薇糾正他,「我壓整體秩序。」
她這句話很輕,卻瞬間把事情從「大家熱情高漲」拉回了最未來科技式的軌道。
八家高校一起進場,看上去是士氣和資源的巨大增強,可反過來,也意味著更高的複雜度、更大的泄密風險、更容易出現節奏不齊與方法分裂。
而未來科技一路打到今天,最擅長的恰恰就是一件事——讓複雜系統先建立活路,再去談每個人的表達。
補天聯合攻關,也必須遵守同一條紀律。
夜裡十一點,第七家確認加入。
凌晨一點十六分,第八家回電。
對方沒有說很多,只傳回一句話:
「人和方向都可以進,但我們有個條件。」
周明看向蘇黛:「什麼條件?」
蘇黛念出對方原話時,房間裡幾個人都沉默了一下。
「他們說——別把他們當外援,要把他們當一起打這場仗的人。」
林薇抬頭,和陳醒對視了一眼。
那一刻,誰都沒有立刻接話。
因為這句話的分量,遠比「願意合作」重得多。
它意味著,補天對外發出的,不是一張項目邀請函,而是一張戰爭動員令;而真正被這張動員令打動的人,也不是來「參與一個未來科技項目」,而是來認領自己在這條底層戰線里的位置。
過了兩秒,陳醒才緩緩開口:
「告訴他們,未來科技也是這麼想的。」
於是,補天項目啟動後的第三個夜晚,八個高校團隊全部就位。
沒有簽約合影,沒有媒體拍照,沒有橫幅和口號。
有的,只是八份被壓進隔離系統的團隊名單,二十多位陸續趕來的老師和博士生,越來越滿的封閉會議室,以及白板上被重新改寫過的一行字:
補天項目——八校聯合攻關序列已建立
那行字下面,林薇又親手加上了另一句更硬的規則:
不比論文數,只比能不能接住問題。
凌晨兩點半,第一場真正意義上的聯合閉門技術會開始。
會議桌很長,但沒有誰坐在「高校席」或「企業席」。
每個人面前都只有自己的樣例、自己的方向、自己的約束邊界和必須接住的問題。
章宸站在白板前,只說了兩句話:
「今天開始,沒有校內題、校外題,只有補天題。」
「能解的留下,不能解的換方向,別浪費彼此時間。」
坐在最左側的一位老教授聽完,忽然笑了一聲。
「這樣就對了。」他說,「要真按普通產學研會議那套來,我今晚就走。」
會議室里幾個人都笑了,但笑過之後,氣氛卻更沉、更實。
因為所有人都知道,從這一刻起,補天已經真的長成了另一種東西。
它不再只是一家企業的應急動作,也不只是幾篇關鍵論文和幾套試驗代碼的臨時匯合。
它開始像一條被突然逼到面前、卻又不得不立刻往下打的國家級底層戰線——雖然沒有人會這麼高調地命名它,但身處其中的人,都已經隱隱感到了那種重量。
會開到一半時,趙靜把小芯最新的熱點識別結果投到了大屏上。
與白天相比,屏幕上的紅灰區域明顯更清晰了些,幾處原本靠人工反覆比對才能看出的問題,現在已經能被模型提前圈出風險邊界。
一位來自高校的年輕博士盯著看了很久,忍不住低聲道:「它這不是在優化,它是在先幫人類別犯蠢。」
趙靜轉頭看了他一眼,難得點了點頭:「對。補天第一階段,小芯先別急著聰明,先別讓大家蠢得太穩定。」
這句話一出來,會議室里笑聲第一次比之前大了些。
可笑完之後,那幾位剛進場的高校老師和博士生,眼神卻都明顯變了。
因為他們突然看見,未來科技這條線最不一樣的地方,不只是它敢在這種時候動EDA,更在於它不是沿著老路機械追趕,而是在試圖把自己過去幾年在終端、製造、整機生命體和複雜系統組織里的經驗,遷移到EDA這條戰線上。
換句話說,補天未必只是在「補別人卡掉的工具」。
它也可能在偷偷長出一種完全不同的工業方法。
凌晨三點,第一輪聯合問題切分終於結束。
八個高校團隊各自拿到了第一批戰區:
有人接版圖熱點異常分類;
有人接複雜空間裁剪策略;
有人接規則檢查邏輯抽象;
有人接工業軟體架構支撐;
有人開始盯小芯與約束搜索的接口邊界;
還有兩支團隊,被章宸特意壓進了「第二梯隊預留」——表面還沒上主戰場,實際上已經在為後續更深的電路版圖自動優化和更複雜約束場景埋底。
會散之前,林薇把所有人都留住了半分鐘。
她沒有講願景,也沒有講團結,只說了一句:
「補天現在最怕的,不是難,而是散。」
「所以從今晚開始,所有方向都按同一條線推進——誰先幫系統建立活路,誰就先往前。誰只想證明自己方向最先進,誰就自己後退。」
這句話一落,屋裡那點因為新團隊匯合而升起的輕微興奮,立刻被重新壓回了未來科技熟悉的戰時邏輯。
可也正因為這樣,大家反而更踏實了。
因為他們知道,這裡不是來做漂亮共識的地方,而是真的要把一條快被人掐斷的工具鏈,重新接上活路。
會議散場時,走廊外的夜已經深得發冷。
章宸和那位老教授並肩走出門,邊走邊還在爭某一類局部熱點到底該先靠規則映射壓,還是先讓模型學會識別搜索死區。趙靜被兩個高校的年輕學者攔在轉角,幾個人圍著小芯的當前邊界聊得越來越快;蘇黛則已經在安排第二天的封閉住宿、終端配置和短期算力分配;周明和李明哲沒有走,他們在走廊盡頭低聲商量另一件事——
八校聯合攻關一旦形成規模,外面早晚會聞到。
不是因為未來科技會主動宣傳,而是因為這麼多真正做底層問題的人同時動起來,本身就是一種會被觀察到的異動。
周明低聲道:「最多再撐幾天,外面會開始有猜測。」
李明哲看著走廊盡頭那扇還亮著紅燈的封閉門,緩緩道:「猜到高校在動還不怕。怕的是他們把補天、小芯、版圖優化和研究所論文串到一起。」
「串起來是遲早的事。」周明說。
李明哲點頭:「所以在他們完全串起來之前,補天必須先跑出第一段真東西。」
不遠處,趙靜正好聽見最後這句。
她停了一下,轉頭看向還亮著屏幕的小會議室。
屏幕上,小芯新一輪標出的幾片熱點區域,正一閃一閃,像某種還不成熟、卻已經開始學會替複雜系統提前發現危險的眼睛。
趙靜忽然意識到,補天接下來最關鍵的一步,也許已經不是「八家高校進來沒進來」,而是——
小芯能不能真的被拖進這場戰線最核心的地方,不再只是識別熱點,不再只是告訴大家哪裡別亂動,而是開始真正參與一種更高層級的事情:
自動優化電路版圖。
她站在原地看了幾秒,眼神一點點沉了下去。
因為她很清楚,一旦這一步能邁出去,補天的性質就會徹底變。
那不再只是守。
而會開始第一次真正意義上的反攻。
白天,它像一間被高密度推演和快速裁剪填滿的戰情室;到了深夜,它又像某種安靜卻高壓運轉的底層機房,屏幕上滾動的不是發布會素材,不是商業匯報,而是一段段被切碎的約束條件、熱點區塊、規則映射、衝突標記和反覆回退的搜索路徑。
補天進入戰時狀態以後,未來科技內部很多人第一次真正意識到,EDA並不是一句「工具鏈自主」就能輕飄飄概括的事。
它更像一片過去一直由別人替你鋪好的地下骨架。
你平時看不見它,但所有高端晶片、複雜版圖、跨端協同和大規模驗證,都默默踩在它上面。一旦別人抽掉幾根主梁,地上的建築未必立刻坍塌,可你下一步每往前邁,腳底都開始發空。
未來科技現在要做的,不是站在地面上罵那幾根主梁不該被抽走,而是要在腳底重新焊出一段能接住自己繼續往前的鋼架。
而隨著補天項目第一批切口越來越具體,另一個現實也迅速顯影——只靠未來科技自己關起門來打,不夠。
不是決心不夠,也不是資源不夠。
而是這條戰線本身太深。
版圖規則、複雜優化、形式方法、自動化搜索、微電子物理約束、數學建模、驗證邏輯、機器學習輔助……這些能力平時散落在不同學院、不同實驗室、不同研究方向里,像一堆彼此看似並不相鄰的點。可當未來科技真的試圖把補天往下打成「能用的骨架」時,這些點便開始同時露出它們不可替代的邊。
上午九點,中央研究院頂層小會議室的門再次合上。
和補天一級啟動時不同,這一次參會的人更少,但桌上的名單卻更多。
林薇坐在主位左側,面前攤著十幾份院校與團隊資料;章宸旁邊放著一張被標滿紅藍記號的能力映射圖;趙靜則把小芯當前第一輪約束理解框架和補天試驗樣例的反饋結果壓在手邊。蘇黛、周明、李明哲也都在場,但誰都沒先說話,因為大家都知道,今天這場會不是討論「要不要聯合」,而是討論——
到底把誰拉進來,才不會把補天拉散。
陳醒站在屏幕前,沒有急著開口,而是先把一張圖調了出來。
圖上沒有學校名字,只有八個被圈出來的方向:
複雜優化
版圖與布線
形式驗證
約束求解
混合信號建模
自動化工具
工業軟體架構
機器學習輔助搜索
「補天往外借力,不按名氣選,不按行政級別選,不按論文數量選。」陳醒看著眾人,「只按問題選。」
他抬手點了一下屏幕最左側。
「未來科技現在不是在辦一場學術聯席會,也不是在搭一個好看的開放平台。我們要找的是,誰能真正在這八個方向里,下場打仗。」
這話一落,會議室里的氣氛就定了。
周明原本還擔心高校一多,項目會被迅速稀釋成「人人參與,人人都講一點」的漂亮盤子。可陳醒第一句就先把這個風險壓住了——補天向外借力,不是做聲勢,而是精準抽人、抽腦子、抽方法。
林薇把手裡第一份資料推到中間:「昨晚到現在,我們篩了二十三家院校、四十多個團隊。能真正進入第一批候選的,只有八個。」
顧楠抬頭:「正好八個?」
「不是湊數。」林薇說,「是再多就散,再少就缺邊。」
她這話說得很冷,卻極准。
補天此刻最怕兩件事。
一是人少到能力斷層,未來科技不得不在某些關鍵方向上繼續盲打;二是人多到問題失焦,最後誰都在研究,誰都沒真把工程切口咬住。
八個,已經是她和章宸、趙靜連夜壓出來的極限平衡。
章宸接過話,把八個方向一一展開。
「第一家,做複雜組合優化和約束求解,團隊風格硬,論文不花,但在大規模搜索裁剪上有真東西。補天第二塊和第四塊都能接。」
「第二家,做微電子版圖自動布局和熱點識別,雖然以前更多偏教學和專項項目,但底層算法很紮實,和研究所遞交的那套規則映射能對上。」
「第三家,做形式方法和驗證邏輯,平時看著離消費電子遠,可只要補天后面往規則檢查和一致性風險篩查延伸,這支隊伍繞不開。」
「第四家,做混合信號協同建模,短期不一定上主戰場,但未來科技車端、衛星鏈路和更複雜端側節點後面一定會吃這塊能力,不提前埋人,後面又得臨時救火。」
「第五家,做工業軟體底層架構,可能不是最會發論文的,但他們能幫補天少踩很多工具工程化的坑。」
「第六家,做機器學習輔助搜索,過去很邊緣,可和小芯配合可能會出奇效。」
「第七家,做物理約束與規則檢查,團隊習慣苦活,不愛講故事,適合接最髒最累的那段。」
「第八家,」章宸停了一下,「做版圖布線和高維參數收斂,不在熱門敘事裡,但他們的老師帶學生有股土辦法磨死問題的勁。」
他說到這裡,輕輕吐出一口氣。
「這八家放在平時,不會自然坐到一張桌子上。做的東西不完全一樣,路徑也不一樣,彼此甚至可能都不太認同對方的研究節奏。但補天現在恰恰需要這種不一樣。」
趙靜點了點頭:「而且它們正好能和未來科技內部形成閉環。研究所給理論底座,未來科技給真實工業樣例和工程壓強,高校給分方向深打。」
蘇黛則從更現實的角度補了一句:「問題是,這八家願不願意按補天的節奏來。」
會議室里安靜了一瞬。
這是關鍵。
高校不是企業,也不是研究所里的專項戰隊。它們有自己的節奏、自己的評價體系、自己的保密顧慮、自己的項目邏輯。未來科技如果只是把人請過來開幾場會、掛幾個聯合攻關牌子,那很容易變成場面熱鬧、效率極低的空殼協作。
林薇顯然已經想過這個問題:「所以不能按普通校企合作方式談。」
「怎麼談?」周明問。
陳醒轉頭看了他一眼:「按戰時問題談,不按合作框架談。」
這句話讓幾個人都微微一怔。
陳醒繼續道:「不談大而全,不談幾年規劃,不談平台共建。就談三件事——第一,補天現在遇到的真實問題是什麼;第二,未來科技能給什麼樣的樣例、算力、工程接口和反饋閉環;第三,進入這條線以後,必須接受什麼樣的保密和推進節奏。」
他頓了一下,聲音更平:
「願意按這個打的,就進。不願意的,不強拉。」
李明哲聽到這裡,眼神動了動。
他很清楚,這種談法極不「標準」,但恰恰最適合當前形勢。因為未來科技需要的不是一張漂亮的聯合攻關名單,而是一批真正願意從論文節奏切換到工業戰時節奏的人。
周明則更快想到了另一層:「這樣一來,對外敘事也好切。不是未來科技高調拉八校造勢,而是圍繞基礎工業軟體和關鍵算法方向開展定向聯合研究,外面就算聞到味道,也還拼不出完整圖。」
「對。」李明哲接住,「補天不能自己往外喊『華夏EDA聯盟』這種找打的口號。只要問題切得足夠具體,對外永遠可以維持在『關鍵基礎研究與工程問題協同』的層面。」
林薇沒有在這個點上停太久,她直接問蘇黛:「今天能不能把接觸通道切出來?」
「能。」蘇黛點頭,「但必須分層。不是所有學校都由未來科技直接出面,有些適合研究所牽,有些適合通過專項項目口子接,還有兩家最好由老教授之間點對點把人先叫起來,避免行政路徑一走,消息反而先散。」
「誰出面合適?」趙靜問。
章宸抬手在名單旁邊點了幾下:「這三家我來談。都是偏硬的團隊,直說問題比繞著鋪墊更有效。那兩家做機器學習輔助和複雜優化的,趙靜你去接,更容易講清楚為什麼這不是『讓AI來魔法解題』。工業軟體架構和物理規則那兩家,研究所老師出面比我們強。」
那位中年學者緩緩點頭:「可以。學校里做這類東西的人,平時話不多,但只要你讓他感覺到問題是真的、數據是真的、不是來請他站台的,很多人反而比產業界想像得更願意下場。」
說到這裡,他停了一下,忽然加了一句:
「尤其是現在這種時候。」
會議室里靜了靜。
每個人都明白這句話的意思。
北洲限制升級以後,不只是未來科技內部感到了那種被工具鏈掐住的冷意。國內很多真正做底層研究的人,也第一次在非常具體的層面意識到——原來這些看上去很「冷」「慢」「不掙錢」的問題,真有一天會直接成為整個高端工業能不能繼續往前走的門檻。
所以補天現在去敲門,不再只是企業找高校幫忙。
而是在問:這場仗,你們願不願意一起打。
會議結束得很快。
不是因為事情少,而是因為沒有什麼可拖的。
中午十二點四十,第一批接觸正式開始。
未來科技沒有發公函,沒有組織所謂「聯合發布會籌備」,甚至沒有走常規商務合作那套鋪墊話術。幾路人分頭出去,像在不同城市同時點燃八根細卻硬的引線。
章宸第一個打出去的電話,接給了一位做複雜版圖與參數收斂的老教授。
電話通了,他沒有寒暄太久,只說了三句話。
「我們碰上真問題了。」
「不是缺項目,是缺能接住下一代晶片演進的工具骨架。」
「如果你願意,我們今天就把問題樣例給你看。」
電話那頭沉默了幾秒。
老教授沒有立刻答應,也沒有客套,只問了一句:「是真問題,還是企業想借高校做一輪宣傳包裝?」
章宸回答得非常直接:「如果是後者,我不會親自打這個電話。」
又是幾秒沉默。
然後,對面只回了一個字:
「來。」
另一邊,趙靜去接的是一位在機器學習輔助搜索方向長期不太被主流微電子圈看好的青年學者。
他過去幾年做的很多東西,常被人評價為「太新」「太飄」「離真實EDA太遠」。可趙靜偏偏覺得,補天現在需要的,就是這種不完全被舊工具思維綁死、又肯在硬約束里啃問題的人。
電話接通後,對方語氣里還帶著明顯警惕:「我先說清楚,我不做概念演示,也不接那種讓模型給你們畫幾張漂亮圖就算合作的項目。」
趙靜聽到這句,反而笑了。
「正好。」她說,「我們也不需要漂亮圖。我們現在缺的是,怎麼讓模型在一堆不能碰的工程紅線里,先學會別把問題越幫越亂。」
電話那頭一下安靜了。
幾秒後,對方聲音明顯變了:「你們是真要把AI往EDA里塞?」
「不是塞。」趙靜說,「是讓它先在版圖熱點和複雜空間搜索里,當個合格的副手。你要是願意,今晚就看樣例。」
對方這次沒有再遲疑:「發我保密流程。」
蘇黛這邊跑得更現實。
她沒和學校談技術,而是連著打了十幾個電話,把未來科技內部為補天準備的接待、保密、算力帳號、隔離終端、臨時住宿和短期進駐流程一股腦切了出來。她比誰都清楚,高校聯合攻關最容易死在什麼地方——不是技術,而是組織摩擦。人剛被問題激起來,結果一落地先被一堆權限、報備、設備申請和流程拖死,那股戰意很快就散了。
所以她給團隊的要求只有一句:
「別讓想來打仗的人,先死在我們自己的流程上。」
下午三點半,第一家高校團隊的人到了。
來的不是行政,不是學院領導,也不是合作辦公室的人。
而是那位老教授帶著兩個博士和一個年輕講師,直接拎著筆記本和一沓列印紙進了中央研究院的封閉接待區。連飯都沒來得及吃,就先要求看問題樣例。
周明本來還準備了一套簡版保密說明和邊界提示,結果對方只掃了一眼,便直接簽了字,隨後抬頭問:
「樣例在哪?」
顧楠把脫敏後的第一批熱點區塊調了出來。
對方四個人站在屏幕前,只看了不到十分鐘,臉色就變了。
不是為難,而是那種「終於看見真實工業痛點是什麼樣」的凝重。
老教授指著其中一塊極其複雜的熱點區域,低聲說了一句:「這不是普通研究題,這是在死人堆里找路。」
顧楠難得地嗯了一聲:「我們現在就是在找路。」
那位年輕講師沒有急著表態,而是反覆看了幾遍現有的規則映射框架和補天第一輪半自動裁剪思路,過了會兒才說:「如果按傳統思路做,這東西會越來越慢,最後不是算不出,而是算到你們項目都過期了。」
趙靜立刻接了一句:「所以我們才把小芯拖進來。」
對方抬頭看她,眼神里第一次露出明顯興趣:「模型已經接了?」
「接了第一層。」趙靜沒有誇大,「現在還很粗,但它已經開始學著認『不能碰的紅線』了。」
老教授這時忽然笑了一下,笑意卻很硬:「那你們這不是在做普通EDA補課。」
章宸看著他:「我們也沒時間走普通補課那條路。」
這四個人沒有再多說廢話。
看完樣例之後,老教授當場做了個決定:「我這邊先留下一個講師和一個博士。今晚開始並。剩下的人,我回去再挑。」
這速度快得連蘇黛都微微一愣。
因為她原本以為,哪怕第一家願意接,也要先經歷一輪內部評估、學院溝通、課題邊界確認。可對方只看了樣例,幾乎就直接切進了戰時節奏。
那位中年學者在旁邊低聲說:「高校里真正做硬問題的人,很多都這樣。你只要別騙他,他聞到問題是真的,動作比企業慢不到哪去。」
第一家剛落地,第二家、第三家的反饋也陸續回來了。
有一位做形式驗證的教授,在聽完章宸的描述後,沉默很久,只問了一句:「你們不是想讓我給未來科技寫論文掛名吧?」
章宸被問得直接笑了:「現在這個時候,我們最不缺掛名。」
對方在電話那頭輕輕吸了口氣:「那就好。你們把問題邊界發來,我今晚把學生召起來。」
另一所高校做工業軟體架構的團隊,反而是先猶豫了。
他們最擔心的不是技術難,而是補天會不會像很多企業的「戰略項目」一樣,一開始喊得凶,最後三個月後發現太難,就轉頭去做更容易出成績的東西。
結果陳醒親自和那位團隊負責人通了一次短話。
他沒有說願景,只說了一句:
「未來科技今天啟動補天,不是為了做一個能講故事的軟體界面,是為了讓下一代晶片設計不被別人掐死。」
那邊聽完,安靜了很久,最後只回了一句:
「那我們來。」
到傍晚時,八家高校里,已經有六家明確給了正面答覆。
沒有一家提出要先辦簽約儀式,沒有一家提「聯合實驗室命名權」,也沒有一家先問經費規模和宣傳口徑。
他們問的都是同樣的東西:
問題樣例。
約束邊界。
能不能進真實工程。
什麼時候開始。
這讓未來科技內部很多第一次接觸高校聯合攻關的人,都產生了一種很不真實的感覺。
仿佛那些平時看起來離產業很遠、總在論文和報告裡出現的人,一旦被真正的工業痛點和時代壓力碰到,也會迅速換一種節奏說話。
晚上七點四十,中央研究院頂層再次開了個極小範圍的碰頭會。
這次會沒有投影,只攤了最新反饋。
林薇看著名單,一邊聽蘇黛匯報,一邊用筆在旁邊做標記。
「六家已確認,兩家在內部壓方向,但意向很強。」
「第一批實際進駐人員,今晚能到四人,明早至少再到七人。」
「保密方案沒有人提異議。」
「最大的擔憂反而不是邊界,而是——他們都覺得問題比想像中更硬。」
說到最後一句時,蘇黛自己都忍不住笑了一下。
林薇抬頭:「這不是壞事。」
「當然不是。」章宸接過去,「他們覺得硬,說明他們不是來蹭名頭的,是看懂了問題。」
趙靜這時把小芯的最新界面切到了眾人面前。
屏幕上不再只是那些原始版圖片區塊,而是多了一層灰紅相間的標註區域,像某種還不夠成熟、卻已經開始具備危險感知能力的工業地圖。
「這是第一輪帶人工校驗的熱點衝突識別結果。」她說,「還不穩定,但有幾塊已經開始能提前標出『這裡不要盲目搜索』。不是給答案,是先給禁區。」
顧楠盯著看了幾秒,眉頭第一次真正鬆了一點點:「這玩意兒要是後面能跟版圖自動優化銜上,補天就不是在用人海去補刀了。」
趙靜沒立刻接這句,只是把一個被模型反覆標紅的區域放大。
「它現在像個只會喊『別亂動』的副手。」她說,「但有時候這種副手,比一個自信過頭的半吊子強。」
這話說得在場幾個人都笑了一下。
可笑意很快又被另一種更深的興奮壓住了。
因為大家都能感覺到,補天正在發生一件很重要的事——它不再只是未來科技和研究所幾支小隊在黑屋子裡硬啃,而是開始往外長出真正的體系聯動能力。
陳醒一直沒說話,直到所有反饋都聽完,才緩緩放下筆。
「還差兩家。」他說。
「明早前大概率能定。」蘇黛答道。
陳醒點頭:「八家一齊進,不是為了好看。」
沒人接話,因為都知道後面還有半句。
果然,陳醒繼續道:「是為了從今天開始,補天不再只是未來科技的應急項目,而是華夏這條線上的第一場真正聯合攻堅。」
房間裡安靜了幾秒。
李明哲抬起頭,目光微深:「這話內部可以這麼定,外部絕不能這麼說。」
「當然。」周明立刻接住,「外面還是散點研究、定向協同、基礎問題聯合攻關。只要他們一時半會兒拼不出全圖,我們就還能多搶一點時間。」
林薇則看得更現實:「外面怎麼說先放一邊。八家進來以後,最先要解決的是協同秩序。未來科技不是辦學術夏令營。誰負責什麼,誰能看什麼,誰必須在什麼時間點給出什麼結果,全要重新壓一遍。」
「我來壓。」章宸說。
「你壓技術序列。」林薇糾正他,「我壓整體秩序。」
她這句話很輕,卻瞬間把事情從「大家熱情高漲」拉回了最未來科技式的軌道。
八家高校一起進場,看上去是士氣和資源的巨大增強,可反過來,也意味著更高的複雜度、更大的泄密風險、更容易出現節奏不齊與方法分裂。
而未來科技一路打到今天,最擅長的恰恰就是一件事——讓複雜系統先建立活路,再去談每個人的表達。
補天聯合攻關,也必須遵守同一條紀律。
夜裡十一點,第七家確認加入。
凌晨一點十六分,第八家回電。
對方沒有說很多,只傳回一句話:
「人和方向都可以進,但我們有個條件。」
周明看向蘇黛:「什麼條件?」
蘇黛念出對方原話時,房間裡幾個人都沉默了一下。
「他們說——別把他們當外援,要把他們當一起打這場仗的人。」
林薇抬頭,和陳醒對視了一眼。
那一刻,誰都沒有立刻接話。
因為這句話的分量,遠比「願意合作」重得多。
它意味著,補天對外發出的,不是一張項目邀請函,而是一張戰爭動員令;而真正被這張動員令打動的人,也不是來「參與一個未來科技項目」,而是來認領自己在這條底層戰線里的位置。
過了兩秒,陳醒才緩緩開口:
「告訴他們,未來科技也是這麼想的。」
於是,補天項目啟動後的第三個夜晚,八個高校團隊全部就位。
沒有簽約合影,沒有媒體拍照,沒有橫幅和口號。
有的,只是八份被壓進隔離系統的團隊名單,二十多位陸續趕來的老師和博士生,越來越滿的封閉會議室,以及白板上被重新改寫過的一行字:
補天項目——八校聯合攻關序列已建立
那行字下面,林薇又親手加上了另一句更硬的規則:
不比論文數,只比能不能接住問題。
凌晨兩點半,第一場真正意義上的聯合閉門技術會開始。
會議桌很長,但沒有誰坐在「高校席」或「企業席」。
每個人面前都只有自己的樣例、自己的方向、自己的約束邊界和必須接住的問題。
章宸站在白板前,只說了兩句話:
「今天開始,沒有校內題、校外題,只有補天題。」
「能解的留下,不能解的換方向,別浪費彼此時間。」
坐在最左側的一位老教授聽完,忽然笑了一聲。
「這樣就對了。」他說,「要真按普通產學研會議那套來,我今晚就走。」
會議室里幾個人都笑了,但笑過之後,氣氛卻更沉、更實。
因為所有人都知道,從這一刻起,補天已經真的長成了另一種東西。
它不再只是一家企業的應急動作,也不只是幾篇關鍵論文和幾套試驗代碼的臨時匯合。
它開始像一條被突然逼到面前、卻又不得不立刻往下打的國家級底層戰線——雖然沒有人會這麼高調地命名它,但身處其中的人,都已經隱隱感到了那種重量。
會開到一半時,趙靜把小芯最新的熱點識別結果投到了大屏上。
與白天相比,屏幕上的紅灰區域明顯更清晰了些,幾處原本靠人工反覆比對才能看出的問題,現在已經能被模型提前圈出風險邊界。
一位來自高校的年輕博士盯著看了很久,忍不住低聲道:「它這不是在優化,它是在先幫人類別犯蠢。」
趙靜轉頭看了他一眼,難得點了點頭:「對。補天第一階段,小芯先別急著聰明,先別讓大家蠢得太穩定。」
這句話一出來,會議室里笑聲第一次比之前大了些。
可笑完之後,那幾位剛進場的高校老師和博士生,眼神卻都明顯變了。
因為他們突然看見,未來科技這條線最不一樣的地方,不只是它敢在這種時候動EDA,更在於它不是沿著老路機械追趕,而是在試圖把自己過去幾年在終端、製造、整機生命體和複雜系統組織里的經驗,遷移到EDA這條戰線上。
換句話說,補天未必只是在「補別人卡掉的工具」。
它也可能在偷偷長出一種完全不同的工業方法。
凌晨三點,第一輪聯合問題切分終於結束。
八個高校團隊各自拿到了第一批戰區:
有人接版圖熱點異常分類;
有人接複雜空間裁剪策略;
有人接規則檢查邏輯抽象;
有人接工業軟體架構支撐;
有人開始盯小芯與約束搜索的接口邊界;
還有兩支團隊,被章宸特意壓進了「第二梯隊預留」——表面還沒上主戰場,實際上已經在為後續更深的電路版圖自動優化和更複雜約束場景埋底。
會散之前,林薇把所有人都留住了半分鐘。
她沒有講願景,也沒有講團結,只說了一句:
「補天現在最怕的,不是難,而是散。」
「所以從今晚開始,所有方向都按同一條線推進——誰先幫系統建立活路,誰就先往前。誰只想證明自己方向最先進,誰就自己後退。」
這句話一落,屋裡那點因為新團隊匯合而升起的輕微興奮,立刻被重新壓回了未來科技熟悉的戰時邏輯。
可也正因為這樣,大家反而更踏實了。
因為他們知道,這裡不是來做漂亮共識的地方,而是真的要把一條快被人掐斷的工具鏈,重新接上活路。
會議散場時,走廊外的夜已經深得發冷。
章宸和那位老教授並肩走出門,邊走邊還在爭某一類局部熱點到底該先靠規則映射壓,還是先讓模型學會識別搜索死區。趙靜被兩個高校的年輕學者攔在轉角,幾個人圍著小芯的當前邊界聊得越來越快;蘇黛則已經在安排第二天的封閉住宿、終端配置和短期算力分配;周明和李明哲沒有走,他們在走廊盡頭低聲商量另一件事——
八校聯合攻關一旦形成規模,外面早晚會聞到。
不是因為未來科技會主動宣傳,而是因為這麼多真正做底層問題的人同時動起來,本身就是一種會被觀察到的異動。
周明低聲道:「最多再撐幾天,外面會開始有猜測。」
李明哲看著走廊盡頭那扇還亮著紅燈的封閉門,緩緩道:「猜到高校在動還不怕。怕的是他們把補天、小芯、版圖優化和研究所論文串到一起。」
「串起來是遲早的事。」周明說。
李明哲點頭:「所以在他們完全串起來之前,補天必須先跑出第一段真東西。」
不遠處,趙靜正好聽見最後這句。
她停了一下,轉頭看向還亮著屏幕的小會議室。
屏幕上,小芯新一輪標出的幾片熱點區域,正一閃一閃,像某種還不成熟、卻已經開始學會替複雜系統提前發現危險的眼睛。
趙靜忽然意識到,補天接下來最關鍵的一步,也許已經不是「八家高校進來沒進來」,而是——
小芯能不能真的被拖進這場戰線最核心的地方,不再只是識別熱點,不再只是告訴大家哪裡別亂動,而是開始真正參與一種更高層級的事情:
自動優化電路版圖。
她站在原地看了幾秒,眼神一點點沉了下去。
因為她很清楚,一旦這一步能邁出去,補天的性質就會徹底變。
那不再只是守。
而會開始第一次真正意義上的反攻。