第286章 小芯引入自动优化电路版图
屏幕上的版图片区块一块接一块翻过去,红灰交错的热点边界像一片不断变化的危险地图。有人盯著规则映射表,有人盯著约束条件树,有人反覆回看同一处局部布线的收敛失败记录。白板上被写满又擦掉,擦掉又重写,最后留下的却始终只有两类信息——哪里最容易死人,哪里可能长出活路。
补天项目进入联合攻关后,节奏反而比最初更快了。
不是因为人多了,而是因为所有人都被迫承认一个现实:靠人脑一遍遍在高复杂约束空间里试错,未来科技撑得住一时,撑不住下一代。版图热点、规则衝突、局部时序塌陷、功耗反弹、寄生效应牵连、路径让渡失败,这些问题平时像一摊分散在工具流程各处的技术细节,可一旦外部设计工具链开始收口,它们就会一股脑长成真正意义上的工程黑洞。
而补天第一阶段选中的切口,恰恰就是这种黑洞最密的地方。
凌晨三点十二分,封闭会议室里又一次安静下来。
大屏幕上停著一块极其复杂的脱敏版图区块。它来自天衡后续演进的一段真实设计中间態,里面叠著多层局部热点、规则红线和几条被反覆回退过的候选路径。过去两天,章宸和顾楠已经带著人用传统办法在上面跑了三轮,结果很难看——不是完全找不到解,而是每次压掉一个热点,都会在別的地方重新炸开新的风险;每次让出一条路径,又会把原本勉强站住的功耗窗口顶得发飘。
这就是他们真正头疼的地方。
有些问题不是不会做,而是做得起和做不起之间,隔著整整一个时代的研发效率。
一位来自做复杂优化方向的老教授盯著那块区图看了很久,终於开口:“这东西再硬靠人工推,后面只会越来越像填无底洞。”
顾楠靠在桌边,嗓子已经有些哑:“所以才把这块拎出来。它足够噁心,也足够真实。补天要是连这种问题都接不住,做出来的就只能是样板戏。”
旁边一名年轻博士低声道:“那就別先问能不能一步优化到最好了。先问,能不能把明显的死区剔掉。”
这句话一落,赵静抬起头。
她原本在看另一块小芯的约束理解界面,闻言把终端转了过来,屏幕上是一组仍很粗糙的风险边界识別结果。红色区域不算精准,灰色缓衝带也还显得过宽,可那些被模型优先圈出的地方,已经和人工標出的高风险区开始出现越来越稳定的重叠。
她没有立刻说话,只把那张图缓缓推到大屏旁边。
屋里几个人几乎同时看了过去。
章宸先皱了皱眉:“你想把它往更深一层拖?”
赵静点头。
“只识別热点,已经不够了。”她说,“补天现在第一阶段靠小芯先认禁区、认红线,是对的。但如果它一直停在『告诉大家別乱动』这个层级,它最多只是一个危险提示器。这样能省一点命,不够接住后续骨架。”
那位来自研究所的中年学者看了她一眼:“你想让它开始提优化建议?”
“不是提『建议』。”赵静摇头,“建议这个词太轻,也太像助手。我要它进入局部自动优化流程。”
这句话落下去,会议室里一下静了。
不是没人想过这一步。
恰恰相反,很多人心里都知道,小芯迟早得碰到这里。只是补天刚起步,所有人都在克制著不让这条线过早冒进。毕竟eda这种东西最忌讳自信过头——你可以慢,可以笨,甚至可以先半自动,但不能在规则没吃透的时候放任一个模型带著人往错误方向高效狂奔。
林薇站在屏幕另一侧,目光很稳:“说清楚。怎么引,不要用『未来可能』这种话。”
赵静把终端接入主屏,很快调出一页新的框架图。
图上只有三层。
第一层:禁区识別。
第二层:候选路径生成。
第三层:人工校验闭环。
“现在小芯已经在第一层摸到门了。”赵静点著第一行,“它开始知道哪些区域不能碰,哪些规则衝突不是局部让一点就能解决,哪些热点背后连著更大的塌陷风险。下一步,不是让它直接给出最终版图,而是让它在確定禁区以后,生成一批符合底层规则约束的局部候选调整路径。”
她顿了顿,语气压得很实。
“注意,是候选路径,不是最终答案。它做的是把原本人脑最耗命、最重复、最容易在高维空间里白白浪费时间的那部分试探,往前推一步。”
会议室里没人插嘴。
因为这正好踩在补天此刻最敏感也最关键的边界上——不把模型神化,但也不让它只停在旁边举牌提醒。
章宸盯著那三层结构,看了几秒才问:“怎么保证它不把错误放大?”
“靠两道锁。”赵静说。
她伸手在第二层和第三层之间画了两道竖线。
“第一道,规则锁。所有生成动作必须在现有规则映射框架和人工確认过的硬边界內运行。触红线的候选路径一律不出结果。第二道,代价锁。不是只看单点热点能不能被压下去,而是同步把时序、局部功耗、布线密度、物理可实现性这些代价打分,低於閾值直接丟弃。”
那位老教授听到这里,眼神终於认真起来。
“也就是说,”他缓缓道,“你不是让模型替工程师拍板,是让它先把不值得人类花命去试的那些错路,大批量筛掉。”
“对。”赵静说,“补天现在最缺的不是神跡,是少走死路。”
屋里安静了两秒。
然后,章宸忽然转头看向大屏上那块脱敏区图:“拿它试。”
顾楠几乎是同时抬头:“现在?”
“就现在。”章宸声音极稳,“补天要把小芯拖进自动优化电路版图,不需要先找最容易成功的样例。找这种最噁心、最反覆、最像真实战爭的问题,才知道它到底有没有资格进场。”
赵静没有犹豫:“可以。但我有条件。”
林薇看向她。
“第一,第一批只做局部优化,不碰整段全局重构。第二,所有输出都要有可解释约束路径,不能给一堆看起来像答案、实际上没人知道它为什么这么改的黑箱结果。第三,小芯组和晶片组必须绑成一个作战单元,不分你们我的问题定义。”
章宸几乎没思考就答:“同意。”
这时,那个做机器学习辅助搜索的青年学者忽然往前走了半步,盯著框架图道:“再补一层。”
眾人看向他。
他拿过笔,在第二层候选路径生成旁边加了四个字——搜索死区迴避。
“很多局部版图优化真正耗死人的,不是找不到可行路径,而是不断重复进入一些结构上几乎没有收益、却会把搜索资源吞得很厉害的区域。”他说,“如果小芯能先学会识別哪些空间一旦进去,九成概率会浪费掉大把算力和人工校验时间,那它价值会立刻翻倍。”
赵静眼睛一亮:“这个我们能接。”
那位青年学者继续说:“前提是给我足够多的失败样本,不只是成功样本。模型最先要学会的,不是怎么聪明,而是怎么別犯那些工程师已经犯过几百遍的蠢。”
“失败样本我们最多。”顾楠难得接得很快,甚至带了点冷硬的笑意,“补天別的没有,死路管够。”
会议室里压著的一丝紧张气息终於散开了一点。
可也只是一点。
因为每个人都很清楚,从这一刻起,补天的性质开始往前跨了半步。小芯不再只是一个识別热点和辅助理解规则的工业副手,它开始被真正拖进“自动优化电路版图”这个更危险、更容易出错、也更可能改变补天效率上限的核心区域。
林薇看著白板上新加出来的几行字,沉默片刻,直接下判断:“可以进。但先定纪律。”
她转身在白板另一侧写下三条:
不追求一次成功。
不允许黑箱越权。
不让模型替人承担判断责任。
写完之后,她把笔一放,目光扫过眾人。
“小芯进入自动优化版图,不是为了向外证明未来科技有多激进,也不是为了在內部造一个新神话。它进来,只干一件事——把补天第一阶段最耗命的那部分试探,先压下去。”
她停了一下,声音更冷。
“谁要是把这件事做成演示秀,立刻踢出去。”
没有人觉得这话重。
因为谁都知道,越是这种时候,越不能让热情压过工程纪律。
早上六点,第一组混编小队正式成形。
晶片组两人,验证组一人,小芯组三人,研究所算法骨干一人,高校方向两人,再加一名负责规则映射与解释路径梳理的年轻讲师。八个人被直接锁进了补天侧隔离机房里,桌面上只有两份样例、四套规则约束表和一张写得极其难看的阶段目標:
48小时內:让小芯给出第一批可解释候选优化路径。
72小时內:证明它至少能稳定避开一批人工已知死区。
没有“做出成果”的漂亮表述。
只有能不能在短时间里救命的硬要求。
机房里最先忙起来的,不是写模型的人,而是做规则整理的人。
小芯要进入自动优化版图,第一步不是餵它更多电路图,也不是堆算力,而是把那些原本散落在工程师脑子里、工具设置里、经验手册里、失败记录里的“別这么动”“这里一碰就会连炸”“这条路看起来通,实际会拖垮別处”的隱性知识,儘可能结构化地抽出来。
这比任何人预想得都痛苦。
因为很多东西平时根本没人会完整写下来。它们藏在一代代工程师的直觉里,藏在某次回退之后的一句“別再试这个方向”,藏在某段流程里默认被跳过的一个选项里。
赵静在机房里转了一圈,看著屏幕上一条条被强行显性化的规则,忽然想起飞星第一次整机上电失败后的那场重构。那个时候,他们也是被逼著把许多原本被默认正確的局部逻辑掀开,重新问一遍:什么才是生存链,什么只是表达链。
而现在,补天正在对设计工具做同样的事。
不是先问怎么漂亮地自动化。
而是先问,哪些地方不能让系统自己犯蠢。
中午十一点二十,第一版候选生成框架跑起来了。
结果很难看。
小芯给出的十二条候选路径里,七条直接触碰硬规则红线,两条虽然没触红线,却在代价评分上低得一眼就能判死,还有一条甚至把原本勉强平衡住的局部功耗窗口整个顶歪了。
机房里一时没人说话。
那位年轻博士盯著结果看了几秒,低声道:“这不行。”
“废话。”顾楠靠著桌边,语气却不重,“第一刀要是这么容易中,补天就不叫补天了。”
赵静没被这轮失败打乱,她反而走近屏幕,把那七条触线候选逐条放大。
“不是白跑。”她说。
眾人看向她。
赵静伸手圈住其中两条路径的中段交匯区:“看这里。它不是隨机乱撞,它是在某些特定结构里反覆误判『局部让位』和『整体可活』的关係。说明它虽然还不懂怎么优化,但已经开始在某个错误方向上形成稳定偏差。这个偏差一旦抓住,就能纠。”
那位老教授也走了过来,看了几眼后点头:“她说得对。完全隨机最可怕,因为你连它错在哪儿都抓不住。现在这种错,反而开始有工程意义了。”
章宸一直没出声,这时才开口:“那就別急著追正確率。先把这类稳定误判压掉。”
“同意。”赵静迅速接上,“我们不是要它马上会做题,是要它先不在同一个坑里摔一百次。”
於是机房里的目標又被改了一次。
白板上原本写著的“第一批可解释候选路径”,被林薇走进来后亲手补了半行:
先去掉最稳定的错误。
这个动作很小,却立刻把整个小队从“怎么快点成功”重新拽回了补天熟悉的战时逻辑:先保命,再长骨。
下午两点,第二轮训练与规则裁剪並轨。
这一次,小芯没有再一口气生成十二条候选路径,而是被强行限制在更小的局部搜索空间里。高校那边做复杂优化的团队把一套死区迴避的启发式裁剪方法並了进来;研究所算法骨干则把两组常见热点结构上的局部异常模式库重新压成了更適合机器读的形式;晶片组和验证组把三批失败样例的人工回退路径也一併餵了进去。
到傍晚时,第三轮结果出来了。
数量从十二条降到了五条。
可这五条里,终於有两条没有触硬规则红线;其中一条代价评分仍然偏差,但另一条已经第一次在局部热点压降、布线密度和物理可实现性之间形成了一个勉强站得住的平衡。
机房里先是沉默。
隨后,一名年轻讲师猛地站直了些:“它不是在瞎试了。”
顾楠盯著那条路径看了足足十几秒,才低声道:“继续校。”
章宸已经走到屏幕前,亲手把那条候选路径投到主屏最大化。他没急著说“成了”,因为他太清楚补天这种事,最忌讳把阶段性可用误判成已经稳定。但他眼底那一瞬间的变化,还是没逃过周围几个人的视线。
那不是惊喜。
是某种更冷的確认。
小芯,真的开始摸到门了。
晚上八点四十,补天主会议室临时开了个极小范围的碰头会。
参会的只有陈醒、林薇、章宸、赵静、周明、苏黛和两位核心外部学者。
屏幕上放著今天的全部结果:第一轮失败、第二轮偏差、第三轮第一次形成可用局部候选路径。
陈醒从头到尾看完,没有立刻评价,只问赵静一句:“这一步意味著什么?”
赵静显然已经想了很久,答得很慢,也很准。
“意味著小芯开始从『识別版图热点』进入『参与局部版图自动优化』。它还远不到能主导的程度,但它已经不只是提醒大家哪里危险,而是开始试著在规则允许的边界內,替工程师先探一段路。”
陈醒又看向章宸:“你怎么看?”
章宸没有用乐观词。
“工程上,这还只是第一脚。”他说,“但性质很不一样。只会识別风险,是辅助。能稳定避开一批搜索死区,並给出有解释路径的局部候选优化,那就开始接近工具能力了。”
这句话一出,屋里几个人都没立刻接。
因为他们都知道,“接近工具能力”这几个字,在补天这个阶段意味著什么。
这不是表演意义上的智能化,也不是发出去给外界看的概念包装。它是补天第一次真正用未来科技自己的方法,在別人长期垄断的工具问题空间里,撬开了一条极窄、却极关键的缝。
林薇看著屏幕上那条仍显粗糙的候选路径,沉声道:“可以继续往前,但边界要再压。”
她转头看向赵静。
“小芯引入自动优化电路版图,这句话从今天开始只在这个房间里成立。对外,对內大范围,都不准这么说。补天还是补天,小芯还是辅助预研。”
周明立刻点头:“我会切。”
“另外,”林薇继续道,“不能让所有团队一拥而上都去碰自动优化。补天主线还是先保命。小芯这条线成立,但只允许在第一批两个切口上深入,別把战线自己拉炸。”
赵静答得很乾脆:“明白。”
这时,那位老教授忽然开口:“有个问题,你们要提前想。”
眾人看向他。
“自动优化版图这种事,一旦有第一段真结果,外面早晚会闻到味道。”他说,“不是你们泄露,是很多异动加在一起太容易让人起疑。研究所递论文,高校突然密集进场,未来科技內部工具链预案切得越来越深,再加上小芯这条线本身就已经被外界盯著。你们现在跑出来的,哪怕只是一小段骨架,放到懂行的人眼里,分量都不轻。”
会议室里安静下来。
周明眼神微沉:“我们还能压多久?”
李明哲不在场,但他这些天反覆说过类似判断——猜测不会立刻形成完整敘事,但异动一旦积累到某个程度,外部观察机构迟早会把这些线索一点点拼起来。
苏黛低头翻了下终端:“八校进驻已经切得很碎,但终究不可能完全没有痕跡。再加上几家研究单位的论文递送节奏也起来了,外部如果专门盯,会感觉到不对。”
陈醒坐在长桌尽头,沉默了几秒,才开口:“那就抢时间。”
所有人都看向他。
陈醒的声音不高,却很稳。
“外面什么时候闻到,不由我们定。能由我们定的,是在他们闻到之前,补天能不能先跑出一段真正像样的东西。只要跑出来,后面就不是別人说我们想不想做eda的问题,而是他们得承认——这条路,已经有人在走了。”
没有人反驳。
因为这就是现在最本质的战时逻辑。
不是去阻止猜测。
而是在猜测变成围堵之前,让现实先长出来。
会议散后,赵静没有立刻离开。
她独自回到那间隔离机房,看著屏幕上小芯刚刚完成標註的一批新版区图。红灰相间的边界比昨天又清楚了一点,几条候选路径也开始不再显得那么莽撞。它还很粗,很笨,甚至离真正意义上的自动版图优化还有极远的距离。
可赵静很清楚,补天最危险也最珍贵的地方,就在这里。
很多真正改变路径的技术,不是从“已经成熟”开始的,而是从“第一次证明这件事不是纯幻想”开始的。
她伸手关掉其中一块屏幕,又打开另一份更深的接口草案。
那是她和几个年轻学者刚刚写出来的新计划標题:
小芯—约束搜索—局部版图自动优化接口二期预案
她盯著那几行字看了很久,眼神一点点沉了下去。
因为她知道,一旦这条接口继续往下长,小芯就不再只是补天里的一把放大镜、一把裁剪刀,它会开始真正碰到更核心也更危险的问题——电路版图自动优化,究竟能不能从“辅助尝试”走到“工程可用”。
而一旦走到那一步,补天这场仗的性质,就真的会变。
门外走廊上,脚步声再次响起。
周明推门进来,脸色比刚才更冷一点。
“刚收到线报。”他说。
赵静转过头:“哪边?”
“外面有两家產业观察机构开始同时追一件事。”周明走到屏幕前,目光落在那批新生成的候选路径上,“他们在问,华夏这边最近为什么会同时出现几条和设计工具相关的异常研究动向。”
机房里空气一下静了些。
赵静没有说话,只看著屏幕上那几片仍在闪动的热点边界。
几秒后,她低声道:“比预想得快。”
“嗯。”周明点头,“还只是闻到味,不是成形。但媒体那边,一旦有人先把话挑出来,事情就会往另一个方向走。”
他说完,终端轻轻震了一下。
周明低头扫了一眼,神色更沉。
“国外那边已经有人在试探性写標题了。”他缓缓抬头,声音压得很低,“他们还没拿到实锤,但语气已经开始变了。”
赵静看著他:“什么语气?”
周明顿了顿,像是在压住某种更大的风暴感。
“他们开始问——”
“华夏,是不是要自己造eda了。”
补天项目进入联合攻关后,节奏反而比最初更快了。
不是因为人多了,而是因为所有人都被迫承认一个现实:靠人脑一遍遍在高复杂约束空间里试错,未来科技撑得住一时,撑不住下一代。版图热点、规则衝突、局部时序塌陷、功耗反弹、寄生效应牵连、路径让渡失败,这些问题平时像一摊分散在工具流程各处的技术细节,可一旦外部设计工具链开始收口,它们就会一股脑长成真正意义上的工程黑洞。
而补天第一阶段选中的切口,恰恰就是这种黑洞最密的地方。
凌晨三点十二分,封闭会议室里又一次安静下来。
大屏幕上停著一块极其复杂的脱敏版图区块。它来自天衡后续演进的一段真实设计中间態,里面叠著多层局部热点、规则红线和几条被反覆回退过的候选路径。过去两天,章宸和顾楠已经带著人用传统办法在上面跑了三轮,结果很难看——不是完全找不到解,而是每次压掉一个热点,都会在別的地方重新炸开新的风险;每次让出一条路径,又会把原本勉强站住的功耗窗口顶得发飘。
这就是他们真正头疼的地方。
有些问题不是不会做,而是做得起和做不起之间,隔著整整一个时代的研发效率。
一位来自做复杂优化方向的老教授盯著那块区图看了很久,终於开口:“这东西再硬靠人工推,后面只会越来越像填无底洞。”
顾楠靠在桌边,嗓子已经有些哑:“所以才把这块拎出来。它足够噁心,也足够真实。补天要是连这种问题都接不住,做出来的就只能是样板戏。”
旁边一名年轻博士低声道:“那就別先问能不能一步优化到最好了。先问,能不能把明显的死区剔掉。”
这句话一落,赵静抬起头。
她原本在看另一块小芯的约束理解界面,闻言把终端转了过来,屏幕上是一组仍很粗糙的风险边界识別结果。红色区域不算精准,灰色缓衝带也还显得过宽,可那些被模型优先圈出的地方,已经和人工標出的高风险区开始出现越来越稳定的重叠。
她没有立刻说话,只把那张图缓缓推到大屏旁边。
屋里几个人几乎同时看了过去。
章宸先皱了皱眉:“你想把它往更深一层拖?”
赵静点头。
“只识別热点,已经不够了。”她说,“补天现在第一阶段靠小芯先认禁区、认红线,是对的。但如果它一直停在『告诉大家別乱动』这个层级,它最多只是一个危险提示器。这样能省一点命,不够接住后续骨架。”
那位来自研究所的中年学者看了她一眼:“你想让它开始提优化建议?”
“不是提『建议』。”赵静摇头,“建议这个词太轻,也太像助手。我要它进入局部自动优化流程。”
这句话落下去,会议室里一下静了。
不是没人想过这一步。
恰恰相反,很多人心里都知道,小芯迟早得碰到这里。只是补天刚起步,所有人都在克制著不让这条线过早冒进。毕竟eda这种东西最忌讳自信过头——你可以慢,可以笨,甚至可以先半自动,但不能在规则没吃透的时候放任一个模型带著人往错误方向高效狂奔。
林薇站在屏幕另一侧,目光很稳:“说清楚。怎么引,不要用『未来可能』这种话。”
赵静把终端接入主屏,很快调出一页新的框架图。
图上只有三层。
第一层:禁区识別。
第二层:候选路径生成。
第三层:人工校验闭环。
“现在小芯已经在第一层摸到门了。”赵静点著第一行,“它开始知道哪些区域不能碰,哪些规则衝突不是局部让一点就能解决,哪些热点背后连著更大的塌陷风险。下一步,不是让它直接给出最终版图,而是让它在確定禁区以后,生成一批符合底层规则约束的局部候选调整路径。”
她顿了顿,语气压得很实。
“注意,是候选路径,不是最终答案。它做的是把原本人脑最耗命、最重复、最容易在高维空间里白白浪费时间的那部分试探,往前推一步。”
会议室里没人插嘴。
因为这正好踩在补天此刻最敏感也最关键的边界上——不把模型神化,但也不让它只停在旁边举牌提醒。
章宸盯著那三层结构,看了几秒才问:“怎么保证它不把错误放大?”
“靠两道锁。”赵静说。
她伸手在第二层和第三层之间画了两道竖线。
“第一道,规则锁。所有生成动作必须在现有规则映射框架和人工確认过的硬边界內运行。触红线的候选路径一律不出结果。第二道,代价锁。不是只看单点热点能不能被压下去,而是同步把时序、局部功耗、布线密度、物理可实现性这些代价打分,低於閾值直接丟弃。”
那位老教授听到这里,眼神终於认真起来。
“也就是说,”他缓缓道,“你不是让模型替工程师拍板,是让它先把不值得人类花命去试的那些错路,大批量筛掉。”
“对。”赵静说,“补天现在最缺的不是神跡,是少走死路。”
屋里安静了两秒。
然后,章宸忽然转头看向大屏上那块脱敏区图:“拿它试。”
顾楠几乎是同时抬头:“现在?”
“就现在。”章宸声音极稳,“补天要把小芯拖进自动优化电路版图,不需要先找最容易成功的样例。找这种最噁心、最反覆、最像真实战爭的问题,才知道它到底有没有资格进场。”
赵静没有犹豫:“可以。但我有条件。”
林薇看向她。
“第一,第一批只做局部优化,不碰整段全局重构。第二,所有输出都要有可解释约束路径,不能给一堆看起来像答案、实际上没人知道它为什么这么改的黑箱结果。第三,小芯组和晶片组必须绑成一个作战单元,不分你们我的问题定义。”
章宸几乎没思考就答:“同意。”
这时,那个做机器学习辅助搜索的青年学者忽然往前走了半步,盯著框架图道:“再补一层。”
眾人看向他。
他拿过笔,在第二层候选路径生成旁边加了四个字——搜索死区迴避。
“很多局部版图优化真正耗死人的,不是找不到可行路径,而是不断重复进入一些结构上几乎没有收益、却会把搜索资源吞得很厉害的区域。”他说,“如果小芯能先学会识別哪些空间一旦进去,九成概率会浪费掉大把算力和人工校验时间,那它价值会立刻翻倍。”
赵静眼睛一亮:“这个我们能接。”
那位青年学者继续说:“前提是给我足够多的失败样本,不只是成功样本。模型最先要学会的,不是怎么聪明,而是怎么別犯那些工程师已经犯过几百遍的蠢。”
“失败样本我们最多。”顾楠难得接得很快,甚至带了点冷硬的笑意,“补天別的没有,死路管够。”
会议室里压著的一丝紧张气息终於散开了一点。
可也只是一点。
因为每个人都很清楚,从这一刻起,补天的性质开始往前跨了半步。小芯不再只是一个识別热点和辅助理解规则的工业副手,它开始被真正拖进“自动优化电路版图”这个更危险、更容易出错、也更可能改变补天效率上限的核心区域。
林薇看著白板上新加出来的几行字,沉默片刻,直接下判断:“可以进。但先定纪律。”
她转身在白板另一侧写下三条:
不追求一次成功。
不允许黑箱越权。
不让模型替人承担判断责任。
写完之后,她把笔一放,目光扫过眾人。
“小芯进入自动优化版图,不是为了向外证明未来科技有多激进,也不是为了在內部造一个新神话。它进来,只干一件事——把补天第一阶段最耗命的那部分试探,先压下去。”
她停了一下,声音更冷。
“谁要是把这件事做成演示秀,立刻踢出去。”
没有人觉得这话重。
因为谁都知道,越是这种时候,越不能让热情压过工程纪律。
早上六点,第一组混编小队正式成形。
晶片组两人,验证组一人,小芯组三人,研究所算法骨干一人,高校方向两人,再加一名负责规则映射与解释路径梳理的年轻讲师。八个人被直接锁进了补天侧隔离机房里,桌面上只有两份样例、四套规则约束表和一张写得极其难看的阶段目標:
48小时內:让小芯给出第一批可解释候选优化路径。
72小时內:证明它至少能稳定避开一批人工已知死区。
没有“做出成果”的漂亮表述。
只有能不能在短时间里救命的硬要求。
机房里最先忙起来的,不是写模型的人,而是做规则整理的人。
小芯要进入自动优化版图,第一步不是餵它更多电路图,也不是堆算力,而是把那些原本散落在工程师脑子里、工具设置里、经验手册里、失败记录里的“別这么动”“这里一碰就会连炸”“这条路看起来通,实际会拖垮別处”的隱性知识,儘可能结构化地抽出来。
这比任何人预想得都痛苦。
因为很多东西平时根本没人会完整写下来。它们藏在一代代工程师的直觉里,藏在某次回退之后的一句“別再试这个方向”,藏在某段流程里默认被跳过的一个选项里。
赵静在机房里转了一圈,看著屏幕上一条条被强行显性化的规则,忽然想起飞星第一次整机上电失败后的那场重构。那个时候,他们也是被逼著把许多原本被默认正確的局部逻辑掀开,重新问一遍:什么才是生存链,什么只是表达链。
而现在,补天正在对设计工具做同样的事。
不是先问怎么漂亮地自动化。
而是先问,哪些地方不能让系统自己犯蠢。
中午十一点二十,第一版候选生成框架跑起来了。
结果很难看。
小芯给出的十二条候选路径里,七条直接触碰硬规则红线,两条虽然没触红线,却在代价评分上低得一眼就能判死,还有一条甚至把原本勉强平衡住的局部功耗窗口整个顶歪了。
机房里一时没人说话。
那位年轻博士盯著结果看了几秒,低声道:“这不行。”
“废话。”顾楠靠著桌边,语气却不重,“第一刀要是这么容易中,补天就不叫补天了。”
赵静没被这轮失败打乱,她反而走近屏幕,把那七条触线候选逐条放大。
“不是白跑。”她说。
眾人看向她。
赵静伸手圈住其中两条路径的中段交匯区:“看这里。它不是隨机乱撞,它是在某些特定结构里反覆误判『局部让位』和『整体可活』的关係。说明它虽然还不懂怎么优化,但已经开始在某个错误方向上形成稳定偏差。这个偏差一旦抓住,就能纠。”
那位老教授也走了过来,看了几眼后点头:“她说得对。完全隨机最可怕,因为你连它错在哪儿都抓不住。现在这种错,反而开始有工程意义了。”
章宸一直没出声,这时才开口:“那就別急著追正確率。先把这类稳定误判压掉。”
“同意。”赵静迅速接上,“我们不是要它马上会做题,是要它先不在同一个坑里摔一百次。”
於是机房里的目標又被改了一次。
白板上原本写著的“第一批可解释候选路径”,被林薇走进来后亲手补了半行:
先去掉最稳定的错误。
这个动作很小,却立刻把整个小队从“怎么快点成功”重新拽回了补天熟悉的战时逻辑:先保命,再长骨。
下午两点,第二轮训练与规则裁剪並轨。
这一次,小芯没有再一口气生成十二条候选路径,而是被强行限制在更小的局部搜索空间里。高校那边做复杂优化的团队把一套死区迴避的启发式裁剪方法並了进来;研究所算法骨干则把两组常见热点结构上的局部异常模式库重新压成了更適合机器读的形式;晶片组和验证组把三批失败样例的人工回退路径也一併餵了进去。
到傍晚时,第三轮结果出来了。
数量从十二条降到了五条。
可这五条里,终於有两条没有触硬规则红线;其中一条代价评分仍然偏差,但另一条已经第一次在局部热点压降、布线密度和物理可实现性之间形成了一个勉强站得住的平衡。
机房里先是沉默。
隨后,一名年轻讲师猛地站直了些:“它不是在瞎试了。”
顾楠盯著那条路径看了足足十几秒,才低声道:“继续校。”
章宸已经走到屏幕前,亲手把那条候选路径投到主屏最大化。他没急著说“成了”,因为他太清楚补天这种事,最忌讳把阶段性可用误判成已经稳定。但他眼底那一瞬间的变化,还是没逃过周围几个人的视线。
那不是惊喜。
是某种更冷的確认。
小芯,真的开始摸到门了。
晚上八点四十,补天主会议室临时开了个极小范围的碰头会。
参会的只有陈醒、林薇、章宸、赵静、周明、苏黛和两位核心外部学者。
屏幕上放著今天的全部结果:第一轮失败、第二轮偏差、第三轮第一次形成可用局部候选路径。
陈醒从头到尾看完,没有立刻评价,只问赵静一句:“这一步意味著什么?”
赵静显然已经想了很久,答得很慢,也很准。
“意味著小芯开始从『识別版图热点』进入『参与局部版图自动优化』。它还远不到能主导的程度,但它已经不只是提醒大家哪里危险,而是开始试著在规则允许的边界內,替工程师先探一段路。”
陈醒又看向章宸:“你怎么看?”
章宸没有用乐观词。
“工程上,这还只是第一脚。”他说,“但性质很不一样。只会识別风险,是辅助。能稳定避开一批搜索死区,並给出有解释路径的局部候选优化,那就开始接近工具能力了。”
这句话一出,屋里几个人都没立刻接。
因为他们都知道,“接近工具能力”这几个字,在补天这个阶段意味著什么。
这不是表演意义上的智能化,也不是发出去给外界看的概念包装。它是补天第一次真正用未来科技自己的方法,在別人长期垄断的工具问题空间里,撬开了一条极窄、却极关键的缝。
林薇看著屏幕上那条仍显粗糙的候选路径,沉声道:“可以继续往前,但边界要再压。”
她转头看向赵静。
“小芯引入自动优化电路版图,这句话从今天开始只在这个房间里成立。对外,对內大范围,都不准这么说。补天还是补天,小芯还是辅助预研。”
周明立刻点头:“我会切。”
“另外,”林薇继续道,“不能让所有团队一拥而上都去碰自动优化。补天主线还是先保命。小芯这条线成立,但只允许在第一批两个切口上深入,別把战线自己拉炸。”
赵静答得很乾脆:“明白。”
这时,那位老教授忽然开口:“有个问题,你们要提前想。”
眾人看向他。
“自动优化版图这种事,一旦有第一段真结果,外面早晚会闻到味道。”他说,“不是你们泄露,是很多异动加在一起太容易让人起疑。研究所递论文,高校突然密集进场,未来科技內部工具链预案切得越来越深,再加上小芯这条线本身就已经被外界盯著。你们现在跑出来的,哪怕只是一小段骨架,放到懂行的人眼里,分量都不轻。”
会议室里安静下来。
周明眼神微沉:“我们还能压多久?”
李明哲不在场,但他这些天反覆说过类似判断——猜测不会立刻形成完整敘事,但异动一旦积累到某个程度,外部观察机构迟早会把这些线索一点点拼起来。
苏黛低头翻了下终端:“八校进驻已经切得很碎,但终究不可能完全没有痕跡。再加上几家研究单位的论文递送节奏也起来了,外部如果专门盯,会感觉到不对。”
陈醒坐在长桌尽头,沉默了几秒,才开口:“那就抢时间。”
所有人都看向他。
陈醒的声音不高,却很稳。
“外面什么时候闻到,不由我们定。能由我们定的,是在他们闻到之前,补天能不能先跑出一段真正像样的东西。只要跑出来,后面就不是別人说我们想不想做eda的问题,而是他们得承认——这条路,已经有人在走了。”
没有人反驳。
因为这就是现在最本质的战时逻辑。
不是去阻止猜测。
而是在猜测变成围堵之前,让现实先长出来。
会议散后,赵静没有立刻离开。
她独自回到那间隔离机房,看著屏幕上小芯刚刚完成標註的一批新版区图。红灰相间的边界比昨天又清楚了一点,几条候选路径也开始不再显得那么莽撞。它还很粗,很笨,甚至离真正意义上的自动版图优化还有极远的距离。
可赵静很清楚,补天最危险也最珍贵的地方,就在这里。
很多真正改变路径的技术,不是从“已经成熟”开始的,而是从“第一次证明这件事不是纯幻想”开始的。
她伸手关掉其中一块屏幕,又打开另一份更深的接口草案。
那是她和几个年轻学者刚刚写出来的新计划標题:
小芯—约束搜索—局部版图自动优化接口二期预案
她盯著那几行字看了很久,眼神一点点沉了下去。
因为她知道,一旦这条接口继续往下长,小芯就不再只是补天里的一把放大镜、一把裁剪刀,它会开始真正碰到更核心也更危险的问题——电路版图自动优化,究竟能不能从“辅助尝试”走到“工程可用”。
而一旦走到那一步,补天这场仗的性质,就真的会变。
门外走廊上,脚步声再次响起。
周明推门进来,脸色比刚才更冷一点。
“刚收到线报。”他说。
赵静转过头:“哪边?”
“外面有两家產业观察机构开始同时追一件事。”周明走到屏幕前,目光落在那批新生成的候选路径上,“他们在问,华夏这边最近为什么会同时出现几条和设计工具相关的异常研究动向。”
机房里空气一下静了些。
赵静没有说话,只看著屏幕上那几片仍在闪动的热点边界。
几秒后,她低声道:“比预想得快。”
“嗯。”周明点头,“还只是闻到味,不是成形。但媒体那边,一旦有人先把话挑出来,事情就会往另一个方向走。”
他说完,终端轻轻震了一下。
周明低头扫了一眼,神色更沉。
“国外那边已经有人在试探性写標题了。”他缓缓抬头,声音压得很低,“他们还没拿到实锤,但语气已经开始变了。”
赵静看著他:“什么语气?”
周明顿了顿,像是在压住某种更大的风暴感。
“他们开始问——”
“华夏,是不是要自己造eda了。”