홈으로 돌아가기

Code Metal: 신경기호 코드 검증에 1억 2500만 달러

Code Metal은 시리즈 B 라운드에서 1억 2500만 달러를 조달하여 평가액 12억 5000만 달러에 도달했습니다. 이 스타트업은 국방 및 항공우주와 같은 중요 산업을 위해 AI 생성 소프트웨어의 보안을 수학적으로 증명하는 신경기호 코드 검증 플랫폼을 개발합니다. 이는 단순한 AI 어시스턴트가 아니라 개발 속도와 오류 무관용 사이의 격차를 해소하는 신뢰 인프라입니다.

Code Metal: AI 코드 검증에 1억 2500만 달러가 모든 것을 바꾸는 이유
Advertisement 728x90

코드 메탈, AI 기반 하드웨어 관리를 위해 1억 2500만 달러 조달

이 스타트업은 인공지능을 사용해 하드웨어를 관리하는 소프트웨어를 개발합니다. 이번 라운드는 세일즈포스 벤처스가 주도했습니다.


코드 메탈과 코드 검증을 위한 1억 2500만 달러: 왜 "코드 작성"만으로는 충분하지 않은가

핵심: 하드웨어 관리가 아닌, 수학적으로 입증된 안전성

2026년 2월 19일, 코드 메탈이 12억 5000만 달러의 가치 평가로 1억 2500만 달러 규모의 시리즈 B 라운드 마감을 발표했을 때, 헤드라인은 "AI 기반 하드웨어 관리"와 같은 문구로 떠들썩했습니다. 이는 피상적인 해석입니다. 실제로 코드 메탈은 근본적으로 다른 도전 과제를 해결하고 있습니다. 코드 생성이 아니라, 실수가 인명 피해로 이어질 수 있는 환경을 위한 수학적으로 증명 가능한 검증입니다.

여기서 핵심 용어는 "신경기호적 접근법"입니다. 이 플랫폼은 단순히 대규모 언어 모델을 사용해 코드를 생성하지 않습니다. 프로그램을 테스트 가능한 기호 구성 요소로 분해하고, 생성된 코드가 원본과 기능적으로 동등하며 보안 위반이 없음을 수학적으로 증명합니다. 이는 개발자가 모델의 직관을 신뢰하는 "바이브 코딩"이 아닙니다. 이는 형식 검증(formal verification)으로, 수십 년 동안 학계에 존재해 온 학문이며, 이제 처음으로 이렇게 큰 자본을 가진 상용 제품에 내장되었습니다.

Google AdInline article slot

코드 메탈이 목표로 하는 시장은 세일즈포스 벤처스 파트너 롭 키스가 "미션 크리티컬 산업은 검증할 수 없는 것을 배포할 수 없다"고 말한 데서 잘 드러납니다. 이 문장은 회사의 전체 비즈니스 로직을 요약합니다.

타임라인과 배경: F-35에서 2년 반 만에 12억 5000만 달러로

코드 메탈의 궤적은 면밀히 살펴볼 가치가 있습니다. 이는 회사가 시리즈 A 불과 몇 달 만에 1억 2500만 달러를 조달한 이유를 설명합니다.

공동 창업자인 피터 모랄레스(CEO)와 알렉스 쇼월터-부처(CTO)는 MIT 링컨 연구소 출신으로, F-35 전투기를 위한 AI 추론 시스템을 개발했습니다. 이들은 AI 열풍에서 기회를 포착한 스타트업 창업자가 아닙니다. 무기 체계를 위한 코드 이식 및 검증 문제를 수십 년 동안 해결해 온 엔지니어들입니다. 그들은 고통을 직접 알고 있습니다. 위성 통신 프로토콜을 업데이트하거나 새 하드웨어로 이식해야 할 때, 레거시 C++ 시스템을 메모리 안전한 Rust로 현대화해야 할 때, 이 작업은 고통스러울 정도로 수동적이고 느리며 오류가 발생하기 쉽습니다.

Google AdInline article slot

회사는 2023년에 설립되었습니다. 2024년 7월, 1650만 달러의 시드 라운드를 조달했습니다. 그다음 시리즈 A가 있었고, 거의 즉시 세일즈포스 벤처스가 주도하고 Accel, B Capital, Smith Point Capital, J2 Ventures, Shield Capital, Overmatch, RTX가 참여한 1억 2500만 달러의 시리즈 B가 이어졌습니다. 투자자 구성이 의미심장합니다. RTX(구 레이시온)는 단순한 벤처 펀드가 아니라 방위 산업의 직접적인 대표자입니다. 세일즈포스 벤처스와 B Capital은 기업 및 정부 부문에 접근할 수 있는 전략적 투자자입니다.

주목할 만한 인사 이동: 전 Tableau CEO 라이언 아테이가 사장 겸 COO로 합류했습니다. 이는 회사가 상업 운영 및 엔터프라이즈 영업의 공격적인 확장을 준비하고 있음을 시사합니다. 가장 큰 SaaS 비즈니스 중 하나를 관리했던 사람이 단순히 타이틀 때문에 스타트업에 합류하지는 않습니다.

누가 이기고 누가 지는가

미국 방위 부문과 그 계약업체가 이깁니다. 코드 메탈의 고객 목록에는 이미 미 공군, L3Harris, RTX, 도시바가 포함되어 있습니다. 이는 파일럿 프로젝트가 아니라 "기록 프로그램", 즉 활성 방어 프로그램입니다. 최근 "AI를 사용한 역량 개발이 향후 10년간 군사 작전의 성격을 재정의할 것"이라고 밝힌 국방부에게 코드 메탈은 핵심 인프라가 됩니다.

Google AdInline article slot

특수 칩 제조업체가 이깁니다. 컴퓨팅이 엣지와 특수 하드웨어로 이동함에 따라 아키텍처 간 코드 이식성 문제가 심화됩니다. 코드 메탈은 특정 하드웨어에 맞게 코드를 최적화하면서 이식성을 보장합니다. 칩 제조업체는 자사 플랫폼으로의 마이그레이션 장벽을 낮추는 도구를 얻게 됩니다.

전통적인 RPA 솔루션과 "일반" AI 코딩 어시스턴트는 집니다. GitHub Copilot, Cursor 등은 웹 개발 및 엔터프라이즈 소프트웨어에 적합합니다. 오류 허용도가 0인 환경에서는 쓸모가 없습니다. 생성된 환각 함수나 발견되지 않은 엣지 케이스는 국가 안보나 인명 피해로 이어질 수 있습니다. 코드 메탈은 Copilot과 경쟁하지 않습니다. 완전히 다른 카테고리를 만듭니다.

수동 코드 이식 작업을 하는 엔지니어는 집니다. 회사가 수학적 정확성 증명과 함께 프로그래밍 언어 간 번역을 자동화한다면, C++를 Rust로 수동으로 재작성하는 전문가의 필요성은 줄어듭니다.

미디어가 놓치는 것

통찰 1: 코드 메탈은 고전적인 의미의 소프트웨어 스타트업이 아닙니다. 기계가 코드를 작성하는 미래를 위한 신뢰 인프라입니다.

"신경기호적 접근법"이라는 용어는 마케팅처럼 들립니다. 그러나 그 뒤에는 특정 아키텍처가 있습니다. 생성 AI와 형식 검증의 결합입니다. 다음 토큰을 예측하는 대신, 시스템은 프로그램을 증명 가능한 구성 요소로 분해합니다. 이는 개선된 Copilot이 아니라 근본적으로 다른 제품 클래스입니다. AI가 중요 인프라를 위한 점점 더 많은 코드를 생성한다면, 코드 메탈은 도구가 아니라 체크포인트가 됩니다. 검증 없이는 코드가 프로덕션에 도달할 수 없습니다.

통찰 2: 코드 메탈의 시장 틈새는 "하드웨어 관리"가 아니라 AI 개발 속도와 보안 요구 사항 사이의 격차입니다.

현재 이 격차는 수동 프로세스(코드 리뷰, 테스트, 고가의 전문가에 의한 형식 메서드)로 메워집니다. 코드 메탈은 형식 메서드를 자동화합니다. 이는 항상 대규모 채택에 너무 복잡하고 비용이 많이 든다고 여겨졌던 영역입니다. 성공했다면 12억 5000만 달러의 가치 평가는 합리적입니다. 그렇지 않다면, 회사는 DO-178C(항공 소프트웨어 인증)와 같은 표준에 대한 첫 감사에서 무너질 것입니다.

통찰 3: 세일즈포스 벤처스가 재정적 수익뿐만 아니라 인프라 계층을 통제하기 위한 전략적 베팅으로 라운드를 주도하고 있습니다.

세일즈포스는 엔터프라이즈 기업으로, 고객들은 점점 AI 생성 코드에 대한 보안 및 규정 준수 보장을 요구합니다. 자사의 인물(수년간 세일즈포스에서 근무한 전 Tableau CEO 라이언 아테이)을 코드 메탈의 사장 겸 COO로 배치함으로써, 업계 표준이 될 수 있는 검증 표준에 대한 영향력을 얻습니다.

예측: 향후 30일 및 90일

30일(2026년 3월 중순까지). 새로운 주요 방위 계약 발표가 예상됩니다. 1억 2500만 달러는 확장을 위한 자금이며, 회사는 앞으로 몇 주 동안 워싱턴에서의 입지를 강화할 것입니다. 또한 엔터프라이즈 영업 팀에 2~3명의 핵심 인력을 채용할 가능성이 높습니다. 아테이는 시스템 통합업체와의 파트너십 구축을 시작할 것입니다. 이들 없이는 방위 부문에 진입할 수 없습니다.

90일(2026년 5월 중순까지). 핵심 지표는 방위 부문을 넘어선 확장입니다. 자동차, 반도체, 의료 기기 등이 명시된 수직 시장입니다. 코드 메탈이 주요 자동차 회사나 의료 기기 제조업체와의 계약을 발표하면 플랫폼의 다용도성을 확인할 수 있습니다. 그렇지 않으면 회사는 부당하게 높은 가치 평가를 받은 틈새 방위 계약업체로 남을 위험이 있습니다.

방위 측면도 중요합니다. 트럼프-밴스 행정부와 DOGE(정부 효율성 부서)에 초점을 맞추면서, 현대 방위 기술에 대한 예산은 계속 우선순위로 남아 있습니다. 코드 메탈은 이 추세에 완벽하게 맞지만, 동시에 정치적 변화에 취약해집니다.

결론. 코드 메탈은 "하드웨어를 위한 AI"에 관한 것이 아닙니다. 기계가 전투기, 위성, 드론을 제어하는 코드를 작성하는 세상에서 누가 그 코드를 인증할 것인가에 관한 것입니다. 1억 2500만 달러의 베팅은 미래가 빠른 생성뿐만 아니라 수학적 보장을 요구할 것이라는 베팅입니다. 베팅이 성공한다면, 코드 메탈은 인터넷을 위한 VeriSign이 된 것처럼 보이지 않지만 필수적인 신뢰 인프라가 될 것입니다.

— Editorial Team

Advertisement 728x90

다음 읽기