Code Metal 获 1.25 亿美元融资，用于 AI 驱动的硬件管理
这家初创公司开发用人工智能管理硬件的软件。本轮融资由 Salesforce Ventures 领投。
Code Metal 与 1.25 亿美元用于代码验证：为何“写代码”已不再足够
核心：不是硬件管理，而是数学上可证明的安全性
当 Code Metal 于 2026 年 2 月 19 日宣布完成 1.25 亿美元 C 轮融资，估值达 12.5 亿美元时，头条新闻充斥着“AI 驱动的硬件管理”等字眼。这是一种肤浅的理解。实际上，Code Metal 正在应对一个根本不同的挑战——不是代码生成，而是针对错误可能造成人员伤亡的环境，进行数学上可证明的验证。
这里的关键术语是“神经符号方法”。该平台不仅仅使用大型语言模型生成代码。它将程序分解为可测试的符号组件，并数学证明生成的代码在功能上与原始代码等价，且不包含安全违规。这不是“氛围编码”，即开发者信任模型的直觉。这是形式化验证——一个在学术界存在了几十年的学科，现在首次以如此规模的资本嵌入商业产品中。
Code Metal 瞄准的市场，正如 Salesforce Ventures 合伙人 Rob Keith 所言：“关键任务行业无法部署他们无法验证的东西。”这句话概括了该公司的全部商业逻辑。
时间线与背景：从 F-35 到 12.5 亿美元，两年半时间
Code Metal 的发展轨迹值得仔细审视——它解释了为何该公司在 A 轮融资仅几个月后就筹集了 1.25 亿美元。
创始人——Peter Morales（CEO）和 Alex Showalter-Bucher（CTO）——是麻省理工学院林肯实验室的校友，他们在那里为 F-35 战斗机开发了 AI 推理系统。他们并非在 AI 热潮中发现机会的初创公司创始人。他们是花费数十年解决武器系统代码移植和验证问题的工程师。他们亲身了解痛点：当卫星通信协议需要更新或移植到新硬件时，当遗留的 C++ 系统需要现代化为内存安全的 Rust 时——这项工作极其手动、缓慢且容易出错。
公司成立于 2023 年。2024 年 7 月，它完成了 1650 万美元的种子轮融资。随后是 A 轮融资——紧接着是由 Salesforce Ventures 领投的 1.25 亿美元 B 轮融资，Accel、B Capital、Smith Point Capital、J2 Ventures、Shield Capital、Overmatch 和 RTX 参投。投资者阵容说明问题：RTX（前雷神公司）不仅是一家风险基金，更是国防领域的直接代表。Salesforce Ventures 和 B Capital 是能够接触企业和政府部门的战略投资者。
一个值得注意的人事变动：前 Tableau CEO Ryan Aytay 加入担任总裁兼 COO。这表明公司正在为商业运营和企业销售的积极扩张做准备。一个管理过最大 SaaS 业务之一的人不会仅仅为了头衔而加入一家初创公司。
谁赢谁输
美国国防部门及其承包商获胜。 Code Metal 的客户名单已经包括美国空军、L3Harris、RTX 和东芝。这些不是试点项目——它们是“记录在案的项目”，即现役国防项目。对于五角大楼——其最近表示“利用 AI 开发能力将在未来十年重新定义军事行动的性质”——Code Metal 成为承载基础设施。
专用芯片制造商获胜。 随着计算向边缘和专用硬件转移，跨架构的代码可移植性问题加剧。Code Metal 确保这种可移植性，同时针对特定硬件优化代码。芯片制造商获得了一个降低迁移到其平台门槛的工具。
传统 RPA 解决方案和“普通”AI 编码助手失败。 GitHub Copilot、Cursor 等适用于 Web 开发和企业软件。在零容错环境中，它们毫无用处——生成的幻觉函数或未注意到的边缘情况可能危及国家安全或人员生命。Code Metal 不与 Copilot 竞争；它创造了一个完全不同的类别。
从事手动代码移植的工程师失败。 如果公司以数学正确性证明自动实现编程语言之间的翻译，那么手动将 C++ 重写为 Rust 的专家需求将减少。
媒体遗漏了什么
洞察一：Code Metal 不是经典意义上的软件初创公司。它是机器编写代码的未来的信任基础设施。
“神经符号方法”听起来像营销术语。但其背后是一种特定架构：生成式 AI 结合形式化验证。系统不是预测下一个 token，而是将程序分解为可证明的组件。这不是改进版的 Copilot——它是一个根本不同的产品类别。如果 AI 为关键基础设施生成越来越多的代码，Code Metal 就不仅仅是一个工具，而是一个检查点——没有它的验证，代码无法进入生产环境。
洞察二：Code Metal 的市场定位不是“硬件管理”，而是 AI 开发速度与安全要求之间的差距。
目前，这一差距由手动流程填补：代码审查、测试、昂贵专家进行的形式化方法。Code Metal 自动化了形式化方法——一个一直被认为过于复杂和昂贵而无法大规模采用的领域。如果他们成功了，那么 12.5 亿美元的估值是合理的。如果没有，该公司将在首次针对 DO-178C（航空软件认证）等标准的审计中崩溃。
洞察三：Salesforce Ventures 领投本轮不仅是为了财务回报——这是对控制基础设施层的战略押注。
Salesforce 是一家企业公司，其客户越来越要求 AI 生成代码的安全性和合规性保证。通过将他们的人（前 Tableau CEO Ryan Aytay，曾在 Salesforce 工作多年）安排为 Code Metal 的总裁兼 COO，他们获得了对可能成为行业标准的验证标准的影响力。
预测：未来 30 天和 90 天
30 天（至 2026 年 3 月中旬）。 预计将宣布一项新的重大国防合同。1.25 亿美元是用于扩张的资金，公司将在未来几周内加强其在华盛顿的地位。此外，企业销售团队可能会有 2-3 个关键招聘。Aytay 将开始建立与系统集成商的合作伙伴关系——没有他们，就无法进入国防领域。
90 天（至 2026 年 5 月中旬）。 关键指标是扩展到国防领域之外。汽车、半导体、医疗设备——这些都是已声明的垂直领域。如果 Code Metal 宣布与一家大型汽车公司或医疗设备制造商签订合同，将证实该平台的通用性。如果没有，该公司可能仍是一个估值过高的利基国防承包商。
国防角度也很重要：在特朗普-万斯政府和对 DOGE（政府效率部）的关注下，现代国防技术的预算仍然是优先事项。Code Metal 完美契合这一趋势，但同时也容易受到政治变化的影响。
总结。 Code Metal 不是关于“用于硬件的 AI”。而是关于在一个代码控制战斗机、卫星和无人机的世界中，谁将认证机器编写的代码。1.25 亿美元的赌注是押注未来需要数学保证，而不仅仅是快速生成。如果赌注成功，Code Metal 将成为互联网时代的 VeriSign——隐形但不可或缺的信任基础设施。
— Editorial Team
暂无评论。