第285章 八个高校联合攻关

    补天项目启动后的第二天，中央研究院第七封闭区的灯就再也没完整熄过。
    白天，它像一间被高密度推演和快速裁剪填满的战情室；到了深夜，它又像某种安静却高压运转的底层机房，屏幕上滚动的不是发布会素材，不是商业汇报，而是一段段被切碎的约束条件丶热点区块丶规则映射丶冲突标记和反覆回退的搜索路径。
    补天进入战时状态以后，未来科技内部很多人第一次真正意识到，EDA并不是一句「工具链自主」就能轻飘飘概括的事。
    它更像一片过去一直由别人替你铺好的地下骨架。
    你平时看不见它，但所有高端晶片丶复杂版图丶跨端协同和大规模验证，都默默踩在它上面。一旦别人抽掉几根主梁，地上的建筑未必立刻坍塌，可你下一步每往前迈，脚底都开始发空。
    未来科技现在要做的，不是站在地面上骂那几根主梁不该被抽走，而是要在脚底重新焊出一段能接住自己继续往前的钢架。
    而随着补天项目第一批切口越来越具体，另一个现实也迅速显影——只靠未来科技自己关起门来打，不够。
    不是决心不够，也不是资源不够。
    而是这条战线本身太深。
    版图规则丶复杂优化丶形式方法丶自动化搜索丶微电子物理约束丶数学建模丶验证逻辑丶机器学习辅助……这些能力平时散落在不同学院丶不同实验室丶不同研究方向里，像一堆彼此看似并不相邻的点。可当未来科技真的试图把补天往下打成「能用的骨架」时，这些点便开始同时露出它们不可替代的边。
    上午九点，中央研究院顶层小会议室的门再次合上。
    和补天一级启动时不同，这一次参会的人更少，但桌上的名单却更多。
    林薇坐在主位左侧，面前摊着十几份院校与团队资料；章宸旁边放着一张被标满红蓝记号的能力映射图；赵静则把小芯当前第一轮约束理解框架和补天试验样例的反馈结果压在手边。苏黛丶周明丶李明哲也都在场，但谁都没先说话，因为大家都知道，今天这场会不是讨论「要不要联合」，而是讨论——
    到底把谁拉进来，才不会把补天拉散。
    陈醒站在屏幕前，没有急着开口，而是先把一张图调了出来。
    图上没有学校名字，只有八个被圈出来的方向：
    复杂优化
    版图与布线
    形式验证
    约束求解
    混合信号建模
    自动化工具
    工业软体架构
    机器学习辅助搜索
    「补天往外借力，不按名气选，不按行政级别选，不按论文数量选。」陈醒看着众人，「只按问题选。」
    他抬手点了一下屏幕最左侧。
    「未来科技现在不是在办一场学术联席会，也不是在搭一个好看的开放平台。我们要找的是，谁能真正在这八个方向里，下场打仗。」
    这话一落，会议室里的气氛就定了。
    周明原本还担心高校一多，项目会被迅速稀释成「人人参与，人人都讲一点」的漂亮盘子。可陈醒第一句就先把这个风险压住了——补天向外借力，不是做声势，而是精准抽人丶抽脑子丶抽方法。
    林薇把手里第一份资料推到中间：「昨晚到现在，我们筛了二十三家院校丶四十多个团队。能真正进入第一批候选的，只有八个。」
    顾楠抬头：「正好八个？」
    「不是凑数。」林薇说，「是再多就散，再少就缺边。」
    她这话说得很冷，却极准。
    补天此刻最怕两件事。
    一是人少到能力断层，未来科技不得不在某些关键方向上继续盲打；二是人多到问题失焦，最后谁都在研究，谁都没真把工程切口咬住。
    八个，已经是她和章宸丶赵静连夜压出来的极限平衡。
    章宸接过话，把八个方向一一展开。
    「第一家，做复杂组合优化和约束求解，团队风格硬，论文不花，但在大规模搜索裁剪上有真东西。补天第二块和第四块都能接。」
    「第二家，做微电子版图自动布局和热点识别，虽然以前更多偏教学和专项项目，但底层算法很扎实，和研究所递交的那套规则映射能对上。」
    「第三家，做形式方法和验证逻辑，平时看着离消费电子远，可只要补天后面往规则检查和一致性风险筛查延伸，这支队伍绕不开。」
    「第四家，做混合信号协同建模，短期不一定上主战场，但未来科技车端丶卫星链路和更复杂端侧节点后面一定会吃这块能力，不提前埋人，后面又得临时救火。」
    「第五家，做工业软体底层架构，可能不是最会发论文的，但他们能帮补天少踩很多工具工程化的坑。」
    「第六家，做机器学习辅助搜索，过去很边缘，可和小芯配合可能会出奇效。」
    「第七家，做物理约束与规则检查，团队习惯苦活，不爱讲故事，适合接最脏最累的那段。」
    「第八家，」章宸停了一下，「做版图布线和高维参数收敛，不在热门叙事里，但他们的老师带学生有股土办法磨死问题的劲。」
    他说到这里，轻轻吐出一口气。
    「这八家放在平时，不会自然坐到一张桌子上。做的东西不完全一样，路径也不一样，彼此甚至可能都不太认同对方的研究节奏。但补天现在恰恰需要这种不一样。」
    赵静点了点头：「而且它们正好能和未来科技内部形成闭环。研究所给理论底座，未来科技给真实工业样例和工程压强，高校给分方向深打。」
    苏黛则从更现实的角度补了一句：「问题是，这八家愿不愿意按补天的节奏来。」
    会议室里安静了一瞬。
    这是关键。
    高校不是企业，也不是研究所里的专项战队。它们有自己的节奏丶自己的评价体系丶自己的保密顾虑丶自己的项目逻辑。未来科技如果只是把人请过来开几场会丶挂几个联合攻关牌子，那很容易变成场面热闹丶效率极低的空壳协作。
    林薇显然已经想过这个问题：「所以不能按普通校企合作方式谈。」
    「怎麽谈？」周明问。
    陈醒转头看了他一眼：「按战时问题谈，不按合作框架谈。」
    这句话让几个人都微微一怔。
    陈醒继续道：「不谈大而全，不谈几年规划，不谈平台共建。就谈三件事——第一，补天现在遇到的真实问题是什麽；第二，未来科技能给什麽样的样例丶算力丶工程接口和反馈闭环；第三，进入这条线以后，必须接受什麽样的保密和推进节奏。」
    他顿了一下，声音更平：
    「愿意按这个打的，就进。不愿意的，不强拉。」
    李明哲听到这里，眼神动了动。
    他很清楚，这种谈法极不「标准」，但恰恰最适合当前形势。因为未来科技需要的不是一张漂亮的联合攻关名单，而是一批真正愿意从论文节奏切换到工业战时节奏的人。
    周明则更快想到了另一层：「这样一来，对外叙事也好切。不是未来科技高调拉八校造势，而是围绕基础工业软体和关键算法方向开展定向联合研究，外面就算闻到味道，也还拼不出完整图。」
    「对。」李明哲接住，「补天不能自己往外喊『华夏EDA联盟』这种找打的口号。只要问题切得足够具体，对外永远可以维持在『关键基础研究与工程问题协同』的层面。」
    林薇没有在这个点上停太久，她直接问苏黛：「今天能不能把接触通道切出来？」
    「能。」苏黛点头，「但必须分层。不是所有学校都由未来科技直接出面，有些适合研究所牵，有些适合通过专项项目口子接，还有两家最好由老教授之间点对点把人先叫起来，避免行政路径一走，消息反而先散。」
    「谁出面合适？」赵静问。
    章宸抬手在名单旁边点了几下：「这三家我来谈。都是偏硬的团队，直说问题比绕着铺垫更有效。那两家做机器学习辅助和复杂优化的，赵静你去接，更容易讲清楚为什麽这不是『让AI来魔法解题』。工业软体架构和物理规则那两家，研究所老师出面比我们强。」
    那位中年学者缓缓点头：「可以。学校里做这类东西的人，平时话不多，但只要你让他感觉到问题是真的丶数据是真的丶不是来请他站台的，很多人反而比产业界想像得更愿意下场。」
    说到这里，他停了一下，忽然加了一句：
    「尤其是现在这种时候。」
    会议室里静了静。
    每个人都明白这句话的意思。
    北洲限制升级以后，不只是未来科技内部感到了那种被工具链掐住的冷意。国内很多真正做底层研究的人，也第一次在非常具体的层面意识到——原来这些看上去很「冷」「慢」「不挣钱」的问题，真有一天会直接成为整个高端工业能不能继续往前走的门槛。
    所以补天现在去敲门，不再只是企业找高校帮忙。
    而是在问：这场仗，你们愿不愿意一起打。
    会议结束得很快。
    不是因为事情少，而是因为没有什麽可拖的。
    中午十二点四十，第一批接触正式开始。
    未来科技没有发公函，没有组织所谓「联合发布会筹备」，甚至没有走常规商务合作那套铺垫话术。几路人分头出去，像在不同城市同时点燃八根细却硬的引线。
    章宸第一个打出去的电话，接给了一位做复杂版图与参数收敛的老教授。
    电话通了，他没有寒暄太久，只说了三句话。
    「我们碰上真问题了。」
    「不是缺项目，是缺能接住下一代晶片演进的工具骨架。」
    「如果你愿意，我们今天就把问题样例给你看。」
    电话那头沉默了几秒。
    老教授没有立刻答应，也没有客套，只问了一句：「是真问题，还是企业想借高校做一轮宣传包装？」
    章宸回答得非常直接：「如果是后者，我不会亲自打这个电话。」
    又是几秒沉默。
    然后，对面只回了一个字：
    「来。」
    另一边，赵静去接的是一位在机器学习辅助搜索方向长期不太被主流微电子圈看好的青年学者。
    他过去几年做的很多东西，常被人评价为「太新」「太飘」「离真实EDA太远」。可赵静偏偏觉得，补天现在需要的，就是这种不完全被旧工具思维绑死丶又肯在硬约束里啃问题的人。
    电话接通后，对方语气里还带着明显警惕：「我先说清楚，我不做概念演示，也不接那种让模型给你们画几张漂亮图就算合作的项目。」
    赵静听到这句，反而笑了。
    「正好。」她说，「我们也不需要漂亮图。我们现在缺的是，怎麽让模型在一堆不能碰的工程红线里，先学会别把问题越帮越乱。」
    电话那头一下安静了。
    几秒后，对方声音明显变了：「你们是真要把AI往EDA里塞？」
    「不是塞。」赵静说，「是让它先在版图热点和复杂空间搜索里，当个合格的副手。你要是愿意，今晚就看样例。」
    对方这次没有再迟疑：「发我保密流程。」
    苏黛这边跑得更现实。
    她没和学校谈技术，而是连着打了十几个电话，把未来科技内部为补天准备的接待丶保密丶算力帐号丶隔离终端丶临时住宿和短期进驻流程一股脑切了出来。她比谁都清楚，高校联合攻关最容易死在什麽地方——不是技术，而是组织摩擦。人刚被问题激起来，结果一落地先被一堆权限丶报备丶设备申请和流程拖死，那股战意很快就散了。
    所以她给团队的要求只有一句：
    「别让想来打仗的人，先死在我们自己的流程上。」
    下午三点半，第一家高校团队的人到了。
    来的不是行政，不是学院领导，也不是合作办公室的人。
    而是那位老教授带着两个博士和一个年轻讲师，直接拎着笔记本和一沓列印纸进了中央研究院的封闭接待区。连饭都没来得及吃，就先要求看问题样例。
    周明本来还准备了一套简版保密说明和边界提示，结果对方只扫了一眼，便直接签了字，随后抬头问：
    「样例在哪？」
    顾楠把脱敏后的第一批热点区块调了出来。
    对方四个人站在屏幕前，只看了不到十分钟，脸色就变了。
    不是为难，而是那种「终于看见真实工业痛点是什麽样」的凝重。
    老教授指着其中一块极其复杂的热点区域，低声说了一句：「这不是普通研究题，这是在死人堆里找路。」
    顾楠难得地嗯了一声：「我们现在就是在找路。」
    那位年轻讲师没有急着表态，而是反覆看了几遍现有的规则映射框架和补天第一轮半自动裁剪思路，过了会儿才说：「如果按传统思路做，这东西会越来越慢，最后不是算不出，而是算到你们项目都过期了。」
    赵静立刻接了一句：「所以我们才把小芯拖进来。」
    对方抬头看她，眼神里第一次露出明显兴趣：「模型已经接了？」
    「接了第一层。」赵静没有夸大，「现在还很粗，但它已经开始学着认『不能碰的红线』了。」
    老教授这时忽然笑了一下，笑意却很硬：「那你们这不是在做普通EDA补课。」
    章宸看着他：「我们也没时间走普通补课那条路。」
    这四个人没有再多说废话。
    看完样例之后，老教授当场做了个决定：「我这边先留下一个讲师和一个博士。今晚开始并。剩下的人，我回去再挑。」
    这速度快得连苏黛都微微一愣。
    因为她原本以为，哪怕第一家愿意接，也要先经历一轮内部评估丶学院沟通丶课题边界确认。可对方只看了样例，几乎就直接切进了战时节奏。
    那位中年学者在旁边低声说：「高校里真正做硬问题的人，很多都这样。你只要别骗他，他闻到问题是真的，动作比企业慢不到哪去。」
    第一家刚落地，第二家丶第三家的反馈也陆续回来了。
    有一位做形式验证的教授，在听完章宸的描述后，沉默很久，只问了一句：「你们不是想让我给未来科技写论文挂名吧？」
    章宸被问得直接笑了：「现在这个时候，我们最不缺挂名。」
    对方在电话那头轻轻吸了口气：「那就好。你们把问题边界发来，我今晚把学生召起来。」
    另一所高校做工业软体架构的团队，反而是先犹豫了。
    他们最担心的不是技术难，而是补天会不会像很多企业的「战略项目」一样，一开始喊得凶，最后三个月后发现太难，就转头去做更容易出成绩的东西。
    结果陈醒亲自和那位团队负责人通了一次短话。
    他没有说愿景，只说了一句：
    「未来科技今天启动补天，不是为了做一个能讲故事的软体界面，是为了让下一代晶片设计不被别人掐死。」
    那边听完，安静了很久，最后只回了一句：
    「那我们来。」
    到傍晚时，八家高校里，已经有六家明确给了正面答覆。
    没有一家提出要先办签约仪式，没有一家提「联合实验室命名权」，也没有一家先问经费规模和宣传口径。
    他们问的都是同样的东西：
    问题样例。
    约束边界。
    能不能进真实工程。
    什麽时候开始。
    这让未来科技内部很多第一次接触高校联合攻关的人，都产生了一种很不真实的感觉。
    仿佛那些平时看起来离产业很远丶总在论文和报告里出现的人，一旦被真正的工业痛点和时代压力碰到，也会迅速换一种节奏说话。
    晚上七点四十，中央研究院顶层再次开了个极小范围的碰头会。
    这次会没有投影，只摊了最新反馈。
    林薇看着名单，一边听苏黛汇报，一边用笔在旁边做标记。
    「六家已确认，两家在内部压方向，但意向很强。」
    「第一批实际进驻人员，今晚能到四人，明早至少再到七人。」
    「保密方案没有人提异议。」
    「最大的担忧反而不是边界，而是——他们都觉得问题比想像中更硬。」
    说到最后一句时，苏黛自己都忍不住笑了一下。
    林薇抬头：「这不是坏事。」
    「当然不是。」章宸接过去，「他们觉得硬，说明他们不是来蹭名头的，是看懂了问题。」
    赵静这时把小芯的最新界面切到了众人面前。
    屏幕上不再只是那些原始版图片区块，而是多了一层灰红相间的标注区域，像某种还不够成熟丶却已经开始具备危险感知能力的工业地图。
    「这是第一轮带人工校验的热点冲突识别结果。」她说，「还不稳定，但有几块已经开始能提前标出『这里不要盲目搜索』。不是给答案，是先给禁区。」
    顾楠盯着看了几秒，眉头第一次真正松了一点点：「这玩意儿要是后面能跟版图自动优化衔上，补天就不是在用人海去补刀了。」
    赵静没立刻接这句，只是把一个被模型反覆标红的区域放大。
    「它现在像个只会喊『别乱动』的副手。」她说，「但有时候这种副手，比一个自信过头的半吊子强。」
    这话说得在场几个人都笑了一下。
    可笑意很快又被另一种更深的兴奋压住了。
    因为大家都能感觉到，补天正在发生一件很重要的事——它不再只是未来科技和研究所几支小队在黑屋子里硬啃，而是开始往外长出真正的体系联动能力。
    陈醒一直没说话，直到所有反馈都听完，才缓缓放下笔。
    「还差两家。」他说。
    「明早前大概率能定。」苏黛答道。
    陈醒点头：「八家一齐进，不是为了好看。」
    没人接话，因为都知道后面还有半句。
    果然，陈醒继续道：「是为了从今天开始，补天不再只是未来科技的应急项目，而是华夏这条线上的第一场真正联合攻坚。」
    房间里安静了几秒。
    李明哲抬起头，目光微深：「这话内部可以这麽定，外部绝不能这麽说。」
    「当然。」周明立刻接住，「外面还是散点研究丶定向协同丶基础问题联合攻关。只要他们一时半会儿拼不出全图，我们就还能多抢一点时间。」
    林薇则看得更现实：「外面怎麽说先放一边。八家进来以后，最先要解决的是协同秩序。未来科技不是办学术夏令营。谁负责什麽，谁能看什麽，谁必须在什麽时间点给出什麽结果，全要重新压一遍。」
    「我来压。」章宸说。
    「你压技术序列。」林薇纠正他，「我压整体秩序。」
    她这句话很轻，却瞬间把事情从「大家热情高涨」拉回了最未来科技式的轨道。
    八家高校一起进场，看上去是士气和资源的巨大增强，可反过来，也意味着更高的复杂度丶更大的泄密风险丶更容易出现节奏不齐与方法分裂。
    而未来科技一路打到今天，最擅长的恰恰就是一件事——让复杂系统先建立活路，再去谈每个人的表达。
    补天联合攻关，也必须遵守同一条纪律。
    夜里十一点，第七家确认加入。
    凌晨一点十六分，第八家回电。
    对方没有说很多，只传回一句话：
    「人和方向都可以进，但我们有个条件。」
    周明看向苏黛：「什麽条件？」
    苏黛念出对方原话时，房间里几个人都沉默了一下。
    「他们说——别把他们当外援，要把他们当一起打这场仗的人。」
    林薇抬头，和陈醒对视了一眼。
    那一刻，谁都没有立刻接话。
    因为这句话的分量，远比「愿意合作」重得多。
    它意味着，补天对外发出的，不是一张项目邀请函，而是一张战争动员令；而真正被这张动员令打动的人，也不是来「参与一个未来科技项目」，而是来认领自己在这条底层战线里的位置。
    过了两秒，陈醒才缓缓开口：
    「告诉他们，未来科技也是这麽想的。」
    于是，补天项目启动后的第三个夜晚，八个高校团队全部就位。
    没有签约合影，没有媒体拍照，没有横幅和口号。
    有的，只是八份被压进隔离系统的团队名单，二十多位陆续赶来的老师和博士生，越来越满的封闭会议室，以及白板上被重新改写过的一行字：
    补天项目——八校联合攻关序列已建立
    那行字下面，林薇又亲手加上了另一句更硬的规则：
    不比论文数，只比能不能接住问题。
    凌晨两点半，第一场真正意义上的联合闭门技术会开始。
    会议桌很长，但没有谁坐在「高校席」或「企业席」。
    每个人面前都只有自己的样例丶自己的方向丶自己的约束边界和必须接住的问题。
    章宸站在白板前，只说了两句话：
    「今天开始，没有校内题丶校外题，只有补天题。」
    「能解的留下，不能解的换方向，别浪费彼此时间。」
    坐在最左侧的一位老教授听完，忽然笑了一声。
    「这样就对了。」他说，「要真按普通产学研会议那套来，我今晚就走。」
    会议室里几个人都笑了，但笑过之后，气氛却更沉丶更实。
    因为所有人都知道，从这一刻起，补天已经真的长成了另一种东西。
    它不再只是一家企业的应急动作，也不只是几篇关键论文和几套试验代码的临时汇合。
    它开始像一条被突然逼到面前丶却又不得不立刻往下打的国家级底层战线——虽然没有人会这麽高调地命名它，但身处其中的人，都已经隐隐感到了那种重量。
    会开到一半时，赵静把小芯最新的热点识别结果投到了大屏上。
    与白天相比，屏幕上的红灰区域明显更清晰了些，几处原本靠人工反覆比对才能看出的问题，现在已经能被模型提前圈出风险边界。
    一位来自高校的年轻博士盯着看了很久，忍不住低声道：「它这不是在优化，它是在先帮人类别犯蠢。」
    赵静转头看了他一眼，难得点了点头：「对。补天第一阶段，小芯先别急着聪明，先别让大家蠢得太稳定。」
    这句话一出来，会议室里笑声第一次比之前大了些。
    可笑完之后，那几位刚进场的高校老师和博士生，眼神却都明显变了。
    因为他们突然看见，未来科技这条线最不一样的地方，不只是它敢在这种时候动EDA，更在于它不是沿着老路机械追赶，而是在试图把自己过去几年在终端丶制造丶整机生命体和复杂系统组织里的经验，迁移到EDA这条战线上。
    换句话说，补天未必只是在「补别人卡掉的工具」。
    它也可能在偷偷长出一种完全不同的工业方法。
    凌晨三点，第一轮联合问题切分终于结束。
    八个高校团队各自拿到了第一批战区：
    有人接版图热点异常分类；
    有人接复杂空间裁剪策略；
    有人接规则检查逻辑抽象；
    有人接工业软体架构支撑；
    有人开始盯小芯与约束搜索的接口边界；
    还有两支团队，被章宸特意压进了「第二梯队预留」——表面还没上主战场，实际上已经在为后续更深的电路版图自动优化和更复杂约束场景埋底。
    会散之前，林薇把所有人都留住了半分钟。
    她没有讲愿景，也没有讲团结，只说了一句：
    「补天现在最怕的，不是难，而是散。」
    「所以从今晚开始，所有方向都按同一条线推进——谁先帮系统建立活路，谁就先往前。谁只想证明自己方向最先进，谁就自己后退。」
    这句话一落，屋里那点因为新团队汇合而升起的轻微兴奋，立刻被重新压回了未来科技熟悉的战时逻辑。
    可也正因为这样，大家反而更踏实了。
    因为他们知道，这里不是来做漂亮共识的地方，而是真的要把一条快被人掐断的工具链，重新接上活路。
    会议散场时，走廊外的夜已经深得发冷。
    章宸和那位老教授并肩走出门，边走边还在争某一类局部热点到底该先靠规则映射压，还是先让模型学会识别搜索死区。赵静被两个高校的年轻学者拦在转角，几个人围着小芯的当前边界聊得越来越快；苏黛则已经在安排第二天的封闭住宿丶终端配置和短期算力分配；周明和李明哲没有走，他们在走廊尽头低声商量另一件事——
    八校联合攻关一旦形成规模，外面早晚会闻到。
    不是因为未来科技会主动宣传，而是因为这麽多真正做底层问题的人同时动起来，本身就是一种会被观察到的异动。
    周明低声道：「最多再撑几天，外面会开始有猜测。」
    李明哲看着走廊尽头那扇还亮着红灯的封闭门，缓缓道：「猜到高校在动还不怕。怕的是他们把补天丶小芯丶版图优化和研究所论文串到一起。」
    「串起来是迟早的事。」周明说。
    李明哲点头：「所以在他们完全串起来之前，补天必须先跑出第一段真东西。」
    不远处，赵静正好听见最后这句。
    她停了一下，转头看向还亮着屏幕的小会议室。
    屏幕上，小芯新一轮标出的几片热点区域，正一闪一闪，像某种还不成熟丶却已经开始学会替复杂系统提前发现危险的眼睛。
    赵静忽然意识到，补天接下来最关键的一步，也许已经不是「八家高校进来没进来」，而是——
    小芯能不能真的被拖进这场战线最核心的地方，不再只是识别热点，不再只是告诉大家哪里别乱动，而是开始真正参与一种更高层级的事情：
    自动优化电路版图。
    她站在原地看了几秒，眼神一点点沉了下去。
    因为她很清楚，一旦这一步能迈出去，补天的性质就会彻底变。
    那不再只是守。
    而会开始第一次真正意义上的反攻。