Code Metal pozyskał 125 mln dolarów na AI do zarządzania sprzętem
Startup opracowuje oprogramowanie do zarządzania sprzętem za pomocą sztucznej inteligencji. Rundę poprowadził Salesforce Ventures.
Code Metal i 125 mln dolarów na weryfikację kodu: dlaczego „napisać kod” to już za mało
Sedno: nie zarządzanie sprzętem, ale matematyczny dowód bezpieczeństwa
Gdy 19 lutego 2026 roku Code Metal ogłosił zamknięcie rundy Series B o wartości 125 mln dolarów przy wycenie 1,25 mld dolarów, nagłówki zaroiły się od sformułowań o „zarządzaniu sprzętem za pomocą AI”. To pobieżne odczytanie. Tak naprawdę Code Metal rozwiązuje zasadniczo inne zadanie – nie generowanie kodu, ale jego matematycznie udowodnioną weryfikację dla środowisk, w których błąd kosztuje ludzkie życie.
Kluczowe słowo to „podejście neuronowo-symboliczne”. Platforma nie tylko generuje kod za pomocą dużego modelu językowego. Rozbija programy na testowalne komponenty symboliczne i matematycznie dowodzi, że wygenerowany kod jest funkcjonalnie równoważny oryginałowi i nie zawiera naruszeń bezpieczeństwa. To nie „vibe coding”, gdzie programista ufa intuicji modelu. To formalna weryfikacja – dyscyplina, która od dziesięcioleci istniała w kręgach akademickich, a teraz po raz pierwszy jest wbudowana w komercyjny produkt o takiej kapitalizacji.
Rynek, na który celuje Code Metal, sformułował partner Salesforce Ventures Rob Kett: „Mission-critical industries cannot deploy what they cannot verify” – „Branże o krytycznym znaczeniu nie mogą wdrażać tego, czego nie mogą zweryfikować”. W tym zdaniu zawarta jest cała logika biznesowa firmy.
Chronologia i kontekst: od F-35 do 1,25 mld dolarów w dwa i pół roku
Trajektoria Code Metal zasługuje na wnikliwe przeanalizowanie – wyjaśnia, dlaczego firma pozyskała 125 mln dolarów zaledwie kilka miesięcy po Series A.
Założyciele – Peter Morales (CEO) i Alex Showalter-Bucher (CTO) – pochodzą z MIT Lincoln Laboratory, gdzie opracowywali systemy wnioskowania AI dla myśliwca F-35. To nie start-upowcy, którzy dostrzegli okazję w szumie wokół AI. To inżynierowie, którzy przez dziesięciolecia rozwiązywali problem przenoszenia i weryfikacji kodu dla systemów uzbrojenia. Znają ból z autopsji: gdy protokoły łączności satelitarnej trzeba zaktualizować lub przenieść na nowy sprzęt, gdy starsze systemy w C++ wymagają modernizacji do bezpiecznego pamięciowo Rusta – ta praca jest żmudnie ręczna, powolna i podatna na błędy.
Firma została założona w 2023 roku. W lipcu 2024 – runda seed na 16,5 mln dolarów. Następnie Series A – i praktycznie od razu Series B na 125 mln dolarów pod przewodnictwem Salesforce Ventures przy udziale Accel, B Capital, Smith Point Capital, J2 Ventures, Shield Capital, Overmatch i RTX. Skład inwestorów jest wymowny: RTX (dawniej Raytheon) – to nie tylko fundusz venture capital, ale bezpośredni przedstawiciel sektora obronnego. Salesforce Ventures, B Capital – inwestorzy strategiczni z dostępem do enterprise i sektora publicznego.
Osobnej uwagi godny jest ruch kadrowy: na stanowisko prezesa i COO przyszedł Ryan Aytay, były CEO Tableau. To sygnał – firma przygotowuje się do agresywnego skalowania operacji handlowych i sprzedaży w segmencie enterprise. Człowiek, który zarządzał jednym z największych biznesów SaaS, nie przychodzi do start-upu dla stanowiska.
Kto wygrywa, a kto przegrywa
Wygrywa sektor obronny USA – i powiązani podwykonawcy. Lista klientów Code Metal obejmuje już U.S. Air Force, L3Harris, RTX i Toshibę. To nie projekty pilotażowe – to „programs of record”, czyli aktywne programy obronne. Dla Pentagonu, który niedawno oświadczył, że „rozwój możliwości z wykorzystaniem AI przedefiniuje charakter działań wojennych w następnej dekadzie”, Code Metal staje się load-bearing infrastructure – nośną infrastrukturą.
Wygrywają producenci specjalistycznych układów scalonych. W miarę przesuwania obliczeń na brzeg (edge) i specjalistyczny sprzęt, problem przenośności kodu między architekturami się zaostrza. Code Metal zapewnia tę przenośność, przy okazji optymalizując kod pod konkretne żelazo. Producenci układów otrzymują narzędzie obniżające bariery migracji na ich platformy.
Przegrywają tradycyjne rozwiązania RPA i „zwykłe” asystenty kodowania AI. GitHub Copilot, Cursor i im podobne są dobre do tworzenia stron internetowych i oprogramowania korporacyjnego. W środowiskach o zerowej tolerancji na błędy są bezużyteczne – wygenerowana halucynująca funkcja lub niezauważony przypadek brzegowy może kosztować bezpieczeństwo narodowe lub ludzkie życie. Code Metal nie konkuruje z Copilotem – tworzy zasadniczo inną kategorię.
Przegrywają inżynierowie, których pracą jest ręczne przenoszenie kodu. Jeśli firma automatyzuje tłumaczenie między językami programowania z matematycznym dowodem poprawności, zapotrzebowanie na specjalistów ręcznie przepisujących C++ na Rusta spada.
Czego media nie dopowiadają
Wgląd pierwszy: Code Metal to nie startup software’owy w klasycznym sensie. To infrastruktura zaufania dla przyszłości, w której kod piszą maszyny.
Sformułowanie „podejście neuronowo-symboliczne” brzmi jak marketing. Ale kryje się za nim konkretna architektura: generative AI połączony z formal verification. Zamiast przewidywać następny token, system rozbiera program na dające się udowodnić komponenty. To nie ulepszony Copilot – to zasadniczo inna klasa produktów. Jeśli AI będzie generować coraz więcej kodu dla infrastruktury krytycznej, Code Metal staje się nie narzędziem, ale punktem przepustowym – bez jego weryfikacji kod nie trafi do produkcji.
Wgląd drugi: nisza rynkowa Code Metal to nie „zarządzanie sprzętem”, ale luka między szybkością tworzenia AI a wymogami bezpieczeństwa.
Obecnie tę lukę próbuje się zamykać ręcznymi procesami: code review, testowanie, metody formalne siłą drogich specjalistów. Code Metal automatyzuje metody formalne – dziedzinę, która zawsze była uważana za zbyt skomplikowaną i kosztowną do masowego zastosowania. Jeśli im się to udało, to 1,25 mld dolarów to uczciwa wycena. Jeśli nie – firma rozpadnie się przy pierwszych audytach zgodności z normami takimi jak DO-178C (certyfikacja oprogramowania lotniczego).
Wgląd trzeci: Salesforce Ventures prowadzi rundę nie dla zwrotu finansowego – to strategiczny zakład na kontrolę warstwy infrastrukturalnej.
Salesforce to firma enterprise, której klienci coraz częściej wymagają gwarancji bezpieczeństwa i zgodności dla kodu generowanego przez AI. Osadzając swojego człowieka (Ryana Aytaya, ex-CEO Tableau, przez wiele lat pracującego w Salesforce) na stanowisku prezesa i COO Code Metal, zyskują wpływ na standard weryfikacji, który może stać się branżowy.
Prognoza: następne 30 dni i 90 dni
30 dni (do połowy marca 2026). Spodziewam się ogłoszenia nowego dużego kontraktu obronnego. 125 mln dolarów to pieniądze na skalowanie, a najbliższe tygodnie firma wykorzysta na wzmocnienie pozycji w Waszyngtonie. Prawdopodobne są też 2-3 kluczowe zatrudnienia w zespole sprzedaży do segmentu enterprise. Aytay zacznie budować partnerstwa z integratorami systemów – bez nich nie wejdzie się do sektora obronnego.
90 dni (do połowy maja 2026). Kluczowy wskaźnik – ekspansja poza sektor obronny. Przemysł motoryzacyjny, półprzewodniki, urządzenia medyczne – to wszystko zadeklarowane pionowe. Jeśli Code Metal ogłosi kontrakt z dużym koncernem motoryzacyjnym lub producentem sprzętu medycznego, potwierdzi to uniwersalność platformy. Jeśli nie – firma ryzykuje pozostanie niszowym podwykonawcą obronnym z nieuzasadnienie wysoką wyceną.
Perspektywa obronna jest również ważna: wraz z nadejściem administracji Trumpa-Vance’a i naciskiem na DOGE (Department of Government Efficiency) budżety na nowoczesne technologie obronne pozostają priorytetem. Code Metal idealnie wpisuje się w ten trend, ale jednocześnie staje się podatny na polityczne przesunięcia.
Podsumowanie. Code Metal to nie „AI dla sprzętu”. Chodzi o to, kto będzie certyfikował kod napisany przez maszyny w świecie, w którym taki kod steruje myśliwcami, satelitami i dronami. Zakład o 125 mln dolarów to zakład, że przyszłość będzie wymagać matematycznych gwarancji, a nie tylko szybkiego generowania. Jeśli zakład się powiedzie, Code Metal stanie się tym, czym VeriSign dla internetu – niewidzialną, ale niezastąpioną infrastrukturą zaufania.
— Editorial Team
Brak komentarzy.