白天，它象一间被高密度推演和快速裁剪填满的战情室；到了深夜，它又象某种安静却高压运转的底层机房，屏幕上滚动的不是发布会素材，不是商业汇报，而是一段段被切碎的约束条件、热点区块、规则映射、冲突标记和反复回退的搜索路径。
补天进入战时状态以后，未来科技内部很多人第一次真正意识到，EDA并不是一句“工具链自主”就能轻飘飘概括的事。
它更象一片过去一直由别人替你铺好的地下骨架。
你平时看不见它，但所有高端芯片、复杂版图、跨端协同和大规模验证，都默默踩在它上面。一旦别人抽掉几根主梁，地上的建筑未必立刻坍塌，可你下一步每往前迈，脚底都开始发空。
未来科技现在要做的，不是站在地面上骂那几根主梁不该被抽走，而是要在脚底重新焊出一段能接住自己继续往前的钢架。
而随着补天项目第一批切口越来越具体，另一个现实也迅速显影——只靠未来科技自己关起门来打，不够。
不是决心不够，也不是资源不够。
而是这条战线本身太深。
版图规则、复杂优化、形式方法、自动化搜索、微电子物理约束、数学建模、验证逻辑、机器学习辅助……这些能力平时散落在不同学院、不同实验室、不同研究方向里，象一堆彼此看似并不相邻的点。可当未来科技真的试图把补天往下打成“能用的骨架”时，这些点便开始同时露出它们不可替代的边。
上午九点，中央研究院顶层小会议室的门再次合上。
和补天一级激活时不同，这一次参会的人更少，但桌上的名单却更多。
林薇坐在主位左侧，面前摊着十几份院校与团队资料；章宸旁边放着一张被标满红蓝记号的能力映射图；赵静则把小芯当前第一轮约束理解框架和补天试验样例的反馈结果压在手边。苏黛、周明、李明哲也都在场，但谁都没先说话，因为大家都知道，今天这场会不是讨论“要不要联合”，而是讨论——
到底把谁拉进来，才不会把补天拉散。
陈醒站在屏幕前，没有急着开口，而是先把一张图调了出来。
图上没有学校名字，只有八个被圈出来的方向：
复杂优化
版图与布线
形式验证
约束求解
混合信号建模
自动化工具
工业软件架构
机器学习辅助搜索
“补天往外借力，不按名气选，不按行政级别选，不按论文数量选。”陈醒看着众人，“只按问题选。”
他抬手点了一下屏幕最左侧。
“未来科技现在不是在办一场学术联席会，也不是在搭一个好看的开放平台。我们要找的是，谁能真正在这八个方向里，下场打仗。”
这话一落，会议室里的气氛就定了。
周明原本还担心高校一多，项目会被迅速稀释成“人人参与，人人都讲一点”的漂亮盘子。可陈醒第一句就先把这个风险压住了——补天向外借力，不是做声势，而是精准抽人、抽脑子、抽方法。
林薇把手里第一份资料推到中间：“昨晚到现在，我们筛了二十三家院校、四十多个团队。能真正进入第一批候选的，只有八个。”
顾楠抬头：“正好八个？”
“不是凑数。”林薇说，“是再多就散，再少就缺边。”
她这话说得很冷，却极准。
补天此刻最怕两件事。
一是人少到能力断层，未来科技不得不在某些关键方向上继续盲打；二是人多到问题失焦，最后谁都在研究，谁都没真把工程切口咬住。
八个，已经是她和章宸、赵静连夜压出来的极限平衡。
章宸接过话，把八个方向一一展开。
“第一家，做复杂组合优化和约束求解，团队风格硬，论文不花，但在大规模搜索裁剪上有真东西。补天第二块和第四块都能接。”
“第二家，做微电子版图自动布局和热点识别，虽然以前更多偏教程和专项项目，但底层算法很扎实，和研究所递交的那套规则映射能对上。”
“第三家，做形式方法和验证逻辑，平时看着离消费电子远，可只要补天后面往规则检查和一致性风险筛查延伸，这支队伍绕不开。”
“第四家，做混合信号协同建模，短期不一定上主战场，但未来科技车端、卫星链路和更复杂端侧节点后面一定会吃这块能力，不提前埋人，后面又得临时救火。”
“第五家，做工业软件底层架构，可能不是最会发论文的，但他们能帮补天少踩很多任务具工程化的坑。”
“第六家，做机器学习辅助搜索，过去很边缘，可和小芯配合可