补天项目启动后的第二天,中央研究院第七封闭区的灯就再也没完整熄过。
白天,它像一间被高密度推演和快速裁剪填满的战情室;到了深夜,它又像某种安静却高压运转的底层机房,屏幕上滚动的不是发布会素材,不是商业匯报,而是一段段被切碎的约束条件、热点区块、规则映射、衝突標记和反覆回退的搜索路径。
补天进入战时状態以后,未来科技內部很多人第一次真正意识到,eda並不是一句“工具链自主”就能轻飘飘概括的事。
它更像一片过去一直由別人替你铺好的地下骨架。
你平时看不见它,但所有高端晶片、复杂版图、跨端协同和大规模验证,都默默踩在它上面。一旦別人抽掉几根主梁,地上的建筑未必立刻坍塌,可你下一步每往前迈,脚底都开始发空。
未来科技现在要做的,不是站在地面上骂那几根主梁不该被抽走,而是要在脚底重新焊出一段能接住自己继续往前的钢架。
而隨著补天项目第一批切口越来越具体,另一个现实也迅速显影——只靠未来科技自己关起门来打,不够。
不是决心不够,也不是资源不够。
而是这条战线本身太深。
版图规则、复杂优化、形式方法、自动化搜索、微电子物理约束、数学建模、验证逻辑、机器学习辅助……这些能力平时散落在不同学院、不同实验室、不同研究方向里,像一堆彼此看似並不相邻的点。可当未来科技真的试图把补天往下打成“能用的骨架”时,这些点便开始同时露出它们不可替代的边。
上午九点,中央研究院顶层小会议室的门再次合上。
和补天一级启动时不同,这一次参会的人更少,但桌上的名单却更多。
林薇坐在主位左侧,面前摊著十几份院校与团队资料;章宸旁边放著一张被標满红蓝记號的能力映射图;赵静则把小芯当前第一轮约束理解框架和补天试验样例的反馈结果压在手边。苏黛、周明、李明哲也都在场,但谁都没先说话,因为大家都知道,今天这场会不是討论“要不要联合”,而是討论——
到底把谁拉进来,才不会把补天拉散。
陈醒站在屏幕前,没有急著开口,而是先把一张图调了出来。
图上没有学校名字,只有八个被圈出来的方向:
复杂优化
版图与布线
形式验证
约束求解
混合信號建模
自动化工具
工业软体架构
机器学习辅助搜索
“补天往外借力,不按名气选,不按行政级別选,不按论文数量选。”陈醒看著眾人,“只按问题选。”
他抬手点了一下屏幕最左侧。
“未来科技现在不是在办一场学术联席会,也不是在搭一个好看的开放平台。我们要找的是,谁能真正在这八个方向里,下场打仗。”
这话一落,会议室里的气氛就定了。
周明原本还担心高校一多,项目会被迅速稀释成“人人参与,人人都讲一点”的漂亮盘子。可陈醒第一句就先把这个风险压住了——补天向外借力,不是做声势,而是精准抽人、抽脑子、抽方法。
林薇把手里第一份资料推到中间:“昨晚到现在,我们筛了二十三家院校、四十多个团队。能真正进入第一批候选的,只有八个。”
顾楠抬头:“正好八个”
“不是凑数。”林薇说,“是再多就散,再少就缺边。”
她这话说得很冷,却极准。
补天此刻最怕两件事。
一是人少到能力断层,未来科技不得不在某些关键方向上继续盲打;二是人多到问题失焦,最后谁都在研究,谁都没真把工程切口咬住。
八个,已经是她和章宸、赵静连夜压出来的极限平衡。
章宸接过话,把八个方向一一展开。
“第一家,做复杂组合优化和约束求解,团队风格硬,论文不花,但在大规模搜索裁剪上有真东西。补天第二块和第四块都能接。”
“第二家,做微电子版图自动布局和热点识別,虽然以前更多偏教学和专项项目,但底层算法很扎实,和研究所递交的那套规则映射能对上。”
“第三家,做形式方法和验证逻辑,平时看著离消费电子远,可只要补天后面往规则检查和一致性风险筛查延伸,这支队伍绕不开。”
“第四家,做混合信號协同建模,短期不一定上主战场,但未来科技车端、卫星链路和更复杂端侧节点后面一定会吃这块能力,不提前埋人,后面又得临时救火。”
“第五家,做工业软体底层架构,可能不是最会发论文的,但他们能帮补天少踩很多工具工程化的坑。”
“第六家,做机器学习辅助搜索,过去很边缘,可和小芯配合可能会出奇效。”
“第七家,做物理约束与规则检查,团队习惯苦活,不爱讲故事,適合接最脏最累的那段。”
“第八家,”章宸停了一下,“做版图布线和高维参数收敛,不在热门敘事里,但他们的老师带学生有股土办法磨死问题的劲。”
他说到这里,轻轻吐出一口气。
“这八家放在平时,不会自然坐到一张桌子上。做的东西不完全一样,路径也不一样,彼此甚至可能都不太认同对方的研究节奏。但补天现在恰恰需要这种不一样。”
赵静点了点头:“而且它们正好能和未来科技內部形成闭环。研究所给理论底座,未来科技给真实工业样例和工程压强,高校给分方向深打。”
苏黛则从更现实的角度补了一句:“问题是,这八家愿不愿意按补天的节奏来。”
会议室里安静了一瞬。
这是关键。
高校不是企业,也不是研究所里的专项战队。它们有自己的节奏、自己的评价体系、自己的保密顾虑、自己的项目逻辑。未来科技如果只是把人请过来开几场会、掛几个联合攻关牌子,那很容易变成场面热闹、效率极低的空壳协作。
林薇显然已经想过这个问题:“所以不能按普通校企合作方式谈。”
“怎么谈”周明问。
陈醒转头看了他一眼:“按战时问题谈,不按合作框架谈。”
这句话让几个人都微微一怔。
陈醒继续道:“不谈大而全,不谈几年规划,不谈平台共建。就谈三件事——第一,补天现在遇到的真实问题是什么;第二,未来科技能给什么样的样例、算力、工程接口和反馈闭环;第三,进入这条线以后,必须接受什么样的保密和推进节奏。”
他顿了一下,声音更平:
“愿意按这个打的,就进。不愿意的,不强拉。”
李明哲听到这里,眼神动了动。
他很清楚,这种谈法极不“標准”,但恰恰最適合当前形势。因为未来科技需要的不是一张漂亮的联合攻关名单,而是一批真正愿意从论文节奏切换到工业战时节奏的人。
周明则更快想到了另一层:“这样一来,对外敘事也好切。不是未来科技高调拉八校造势,而是围绕基础工业软体和关键算法方向开展定向联合研究,外面就算闻到味道,也还拼不出完整图。”
“对。”李明哲接住,“补天不能自己往外喊『华夏eda联盟』这种找打的口號。只要问题切得足够具体,对外永远可以维持在『关键基础研究与工程问题协同』的层面。”
林薇没有在这个点上停太久,她直接问苏黛:“今天能不能把接触通道切出来”
“能。”苏黛点头,“但必须分层。不是所有学校都由未来科技直接出面,有些適合研究所牵,有些適合通过专项项目口子接,还有两家最好由老教授之间点对点把人先叫起来,避免行政路径一走,消息反而先散。”
“谁出面合適”赵静问。
章宸抬手在名单旁边点了几下:“这三家我来谈。都是偏硬的团队,直说问题比绕著铺垫更有效。那两家做机器学习辅助和复杂优化的,赵静你去接,更容易讲清楚为什么这不是『让ai来魔法解题』。工业软体架构和物理规则那两家,研究所老师出面比我们强。”
那位中年学者缓缓点头:“可以。学校里做这类东西的人,平时话不多,但只要你让他感觉到问题是真的、数据是真的、不是来请他站台的,很多人反而比產业界想像得更愿意下场。”
说到这里,他停了一下,忽然加了一句:
“尤其是现在这种时候。”
会议室里静了静。
每个人都明白这句话的意思。
北洲限制升级以后,不只是未来科技內部感到了那种被工具链掐住的冷意。国內很多真正做底层研究的人,也第一次在非常具体的层面意识到——原来这些看上去很“冷”“慢”“不挣钱”的问题,真有一天会直接成为整个高端工业能不能继续往前走的门槛。
所以补天现在去敲门,不再只是企业找高校帮忙。
而是在问:这场仗,你们愿不愿意一起打。
会议结束得很快。
不是因为事情少,而是因为没有什么可拖的。
中午十二点四十,第一批接触正式开始。
未来科技没有发公函,没有组织所谓“联合发布会筹备”,甚至没有走常规商务合作那套铺垫话术。几路人分头出去,像在不同城市同时点燃八根细却硬的引线。
章宸第一个打出去的电话,接给了一位做复杂版图与参数收敛的老教授。
电话通了,他没有寒暄太久,只说了三句话。
“我们碰上真问题了。”
“不是缺项目,是缺能接住下一代晶片演进的工具骨架。”
“如果你愿意,我们今天就把问题样例给你看。”
电话那头沉默了几秒。
老教授没有立刻答应,也没有客套,只问了一句:“是真问题,还是企业想借高校做一轮宣传包装”
章宸回答得非常直接:“如果是后者,我不会亲自打这个电话。”
又是几秒沉默。
然后,对面只回了一个字:
“来。”
另一边,赵静去接的是一位在机器学习辅助搜索方向长期不太被主流微电子圈看好的青年学者。
他过去几年做的很多东西,常被人评价为“太新”“太飘”“离真实eda太远”。可赵静偏偏觉得,补天现在需要的,就是这种不完全被旧工具思维绑死、又肯在硬约束里啃问题的人。
电话接通后,对方语气里还带著明显警惕:“我先说清楚,我不做概念演示,也不接那种让模型给你们画几张漂亮图就算合作的项目。”
赵静听到这句,反而笑了。
“正好。”她说,“我们也不需要漂亮图。我们现在缺的是,怎么让模型在一堆不能碰的工程红线里,先学会別把问题越帮越乱。”
电话那头一下安静了。
几秒后,对方声音明显变了:“你们是真要把ai往eda里塞”
“不是塞。”赵静说,“是让它先在版图热点和复杂空间搜索里,当个合格的副手。你要是愿意,今晚就看样例。”
对方这次没有再迟疑:“发我保密流程。”
苏黛这边跑得更现实。
她没和学校谈技术,而是连著打了十几个电话,把未来科技內部为补天准备的接待、保密、算力帐號、隔离终端、临时住宿和短期进驻流程一股脑切了出来。她比谁都清楚,高校联合攻关最容易死在什么地方——不是技术,而是组织摩擦。人刚被问题激起来,结果一落地先被一堆权限、报备、设备申请和流程拖死,那股战意很快就散了。
所以她给团队的要求只有一句:
“別让想来打仗的人,先死在我们自己的流程上。”
下午三点半,第一家高校团队的人到了。
来的不是行政,不是学院领导,也不是合作办公室的人。
而是那位老教授带著两个博士和一个年轻讲师,直接拎著笔记本和一沓列印纸进了中央研究院的封闭接待区。连饭都没来得及吃,就先要求看问题样例。
周明本来还准备了一套简版保密说明和边界提示,结果对方只扫了一眼,便直接签了字,隨后抬头问:
“样例在哪”
顾楠把脱敏后的第一批热点区块调了出来。
对方四个人站在屏幕前,只看了不到十分钟,脸色就变了。
不是为难,而是那种“终於看见真实工业痛点是什么样”的凝重。
老教授指著其中一块极其复杂的热点区域,低声说了一句:“这不是普通研究题,这是在死人堆里找路。”
顾楠难得地嗯了一声:“我们现在就是在找路。”
那位年轻讲师没有急著表態,而是反覆看了几遍现有的规则映射框架和补天第一轮半自动裁剪思路,过了会儿才说:“如果按传统思路做,这东西会越来越慢,最后不是算不出,而是算到你们项目都过期了。”
赵静立刻接了一句:“所以我们才把小芯拖进来。”
对方抬头看她,眼神里第一次露出明显兴趣:“模型已经接了”
“接了第一层。”赵静没有夸大,“现在还很粗,但它已经开始学著认『不能碰的红线』了。”
老教授这时忽然笑了一下,笑意却很硬:“那你们这不是在做普通eda补课。”
章宸看著他:“我们也没时间走普通补课那条路。”
这四个人没有再多说废话。
看完样例之后,老教授当场做了个决定:“我这边先留下一个讲师和一个博士。今晚开始並。剩下的人,我回去再挑。”
这速度快得连苏黛都微微一愣。
因为她原本以为,哪怕第一家愿意接,也要先经歷一轮內部评估、学院沟通、课题边界確认。可对方只看了样例,几乎就直接切进了战时节奏。
那位中年学者在旁边低声说:“高校里真正做硬问题的人,很多都这样。你只要別骗他,他闻到问题是真的,动作比企业慢不到哪去。”
第一家刚落地,第二家、第三家的反馈也陆续回来了。
有一位做形式验证的教授,在听完章宸的描述后,沉默很久,只问了一句:“你们不是想让我给未来科技写论文掛名吧”