Code Metal získal 125 milionů dolarů na AI pro správu zařízení
Startup vyvíjí software pro správu hardwaru pomocí umělé inteligence. Kolo vedl Salesforce Ventures.
Code Metal a 125 milionů dolarů na verifikaci kódu: proč „napsat kód“ už nestačí
Podstata: ne správa zařízení, ale matematický důkaz bezpečnosti
Když 19. února 2026 Code Metal oznámil uzavření kola Series B v hodnotě 125 milionů dolarů při ocenění 1,25 miliardy dolarů, titulky se hemžily formulacemi o „správě zařízení pomocí AI“. To je povrchní čtení. Ve skutečnosti Code Metal řeší zásadně jiný úkol – nikoli generování kódu, ale jeho matematicky prokazatelnou verifikaci pro prostředí, kde chyba stojí lidský život.
Klíčové slovo je zde „neurosymbolický přístup“. Platforma nejen generuje kód pomocí velkého jazykového modelu. Rozděluje programy na testovatelné symbolické komponenty a matematicky dokazuje, že vygenerovaný kód je funkčně ekvivalentní původnímu a neobsahuje bezpečnostní porušení. To není „vibe coding“, kde vývojář důvěřuje intuici modelu. Je to formální verifikace – disciplína, která po desetiletí existovala v akademických kruzích a nyní je poprvé zabudována do komerčního produktu s takovou kapitalizací.
Trh, na který Code Metal cílí, formuloval partner Salesforce Ventures Rob Keith: „Mission-critical industries cannot deploy what they cannot verify“ – „Kriticky důležitá odvětví nemohou nasazovat to, co nemohou verifikovat“. V této větě je soustředěna veškerá obchodní logika společnosti.
Chronologie a kontext: od F-35 po 1,25 miliardy dolarů za dva a půl roku
Trajektorie Code Metal si zaslouží důkladné prozkoumání – vysvětluje, proč společnost získala 125 milionů dolarů jen několik měsíců po Series A.
Zakladatelé – Peter Morales (CEO) a Alex Showalter-Bucher (CTO) – pocházejí z MIT Lincoln Laboratory, kde vyvíjeli systémy AI uvažování pro stíhačku F-35. Nejsou to startupisté, kteří viděli příležitost v humbuku kolem AI. Jsou to inženýři, kteří po desetiletí řešili problém přenosu a verifikace kódu pro zbraňové systémy. Znají bolest z první ruky: když je třeba aktualizovat protokoly satelitní komunikace nebo je portovat na nové zařízení, když je třeba modernizovat legacy systémy v C++ na paměťově bezpečný Rust – tato práce je bolestivě manuální, pomalá a náchylná k chybám.
Společnost byla založena v roce 2023. V červenci 2024 – seed kolo za 16,5 milionu dolarů. Poté Series A – a prakticky okamžitě Series B za 125 milionů dolarů pod vedením Salesforce Ventures za účasti Accel, B Capital, Smith Point Capital, J2 Ventures, Shield Capital, Overmatch a RTX. Složení investorů je výmluvné: RTX (dříve Raytheon) – není jen venture fond, ale přímý zástupce obranného sektoru. Salesforce Ventures, B Capital – strategičtí investoři s přístupem do enterprise a státního sektoru.
Zvláštní pozornost si zaslouží personální tah: na pozici prezidenta a COO přišel Ryan Aytay, bývalý CEO Tableau. To je signál – společnost se připravuje na agresivní škálování komerčních operací a prodejů v enterprise segmentu. Člověk, který řídil jeden z největších SaaS byznysů, nepřichází do startupu kvůli pozici.
Kdo vyhrává a kdo prohrává
Vyhrává obranný sektor USA – a související dodavatelé. Klientský list Code Metal již zahrnuje U.S. Air Force, L3Harris, RTX a Toshiba. Nejsou to pilotní projekty – jsou to „programs of record“, tedy aktivní obranné programy. Pro Pentagon, který nedávno prohlásil, že „vývoj schopností s využitím AI přetvoří povahu vojenských operací v příštím desetiletí“, se Code Metal stává load-bearing infrastructure – nosnou infrastrukturou.
Vyhrávají výrobci specializovaných čipů. S přesunem výpočtů na okraj (edge) a specializované zařízení se problém přenositelnosti kódu mezi architekturami zostřuje. Code Metal zajišťuje tuto přenositelnost a zároveň optimalizuje kód pro konkrétní hardware. Výrobci čipů získávají nástroj, který snižuje bariéry pro migraci na jejich platformy.
Prohrávají tradiční RPA řešení a „běžní“ AI coding asistenti. GitHub Copilot, Cursor a jim podobné jsou dobré pro webový vývoj a podnikový software. V prostředích s nulovou tolerancí k chybám jsou k ničemu – vygenerovaná halucinovaná funkce nebo nezjištěný okrajový případ může stát národní bezpečnost nebo lidské životy. Code Metal nekonkuruje Copilotu – vytváří zásadně jinou kategorii.
Prohrávají inženýři, jejichž práce je ruční přenos kódu. Pokud společnost automatizuje překlad mezi programovacími jazyky s matematickým důkazem správnosti, potřeba specialistů, kteří ručně přepisují C++ do Rustu, klesá.
Co média nedopovídají
První vhled: Code Metal není softwarový startup v klasickém smyslu. Je to infrastruktura důvěry pro budoucnost, kde kód píší stroje.
Formulace „neurosymbolický přístup“ zní jako marketing. Ale stojí za ní konkrétní architektura: generative AI spojený s formal verification. Místo předpovídání dalšího tokenu systém rozebírá program na prokazatelné komponenty. To není vylepšený Copilot – je to zásadně jiná třída produktů. Pokud bude AI generovat stále více kódu pro kritickou infrastrukturu, Code Metal se stává nikoli nástrojem, ale kontrolním bodem – bez jeho verifikace se kód nedostane do produkce.
Druhý vhled: tržní nika Code Metal není ve „správě zařízení“, ale v propasti mezi rychlostí AI vývoje a bezpečnostními požadavky.
Tuto propast se nyní snaží uzavřít manuálními procesy: code review, testování, formální metody silou drahých specialistů. Code Metal automatizuje formální metody – oblast, která byla vždy považována za příliš složitou a drahou pro masové použití. Pokud se jim to podařilo, pak 1,25 miliardy dolarů je spravedlivé ocenění. Pokud ne, společnost se rozpadne při prvních auditech na standardech jako DO-178C (certifikace leteckého softwaru).
Třetí vhled: Salesforce Ventures vede kolo ne kvůli finanční návratnosti – je to strategická sázka na kontrolu infrastrukturní vrstvy.
Salesforce je enterprise společnost, jejíž klienti stále častěji vyžadují záruky bezpečnosti a compliance pro AI generovaný kód. Tím, že dosadili svého člověka (Ryana Aytaye, ex-CEO Tableau, který dlouhá léta pracoval v Salesforce) na pozici prezidenta a COO Code Metal, získávají vliv na standard verifikace, který by se mohl stát průmyslovým.
Prognóza: následujících 30 dní a 90 dní
30 dní (do poloviny března 2026). Očekávám oznámení nové velké obranné zakázky. 125 milionů dolarů jsou peníze na škálování a nejbližší týdny společnost využije k posílení pozic ve Washingtonu. Také jsou pravděpodobné 2-3 klíčové nábory do prodejního týmu pro enterprise segment. Aytay začne budovat partnerství se systémovými integrátory – bez nich se do obranného sektoru nedostanete.
90 dní (do poloviny května 2026). Klíčový indikátor – expanze mimo obranný sektor. Automobilový průmysl, polovodiče, zdravotnická zařízení – to vše jsou deklarované vertikály. Pokud Code Metal oznámí kontrakt s velkým automobilovým koncernem nebo výrobcem zdravotnické techniky, potvrdí to univerzálnost platformy. Pokud ne, společnost riskuje, že zůstane úzce specializovaným obranným dodavatelem s neopodstatněně vysokým oceněním.
Obranný úhel je také důležitý: s příchodem administrativy Trump-Vance a důrazem na DOGE (Department of Government Efficiency) zůstávají rozpočty na moderní obranné technologie prioritou. Code Metal do tohoto trendu dokonale zapadá, ale zároveň se stává zranitelným vůči politickým posunům.
Závěr. Code Metal není o „AI pro zařízení“. Je o tom, kdo bude certifikovat kód napsaný stroji ve světě, kde takový kód řídí stíhačky, satelity a drony. Sázka 125 milionů dolarů je sázkou na to, že budoucnost bude vyžadovat matematické záruky, ne jen rychlé generování. Pokud sázka vyjde, Code Metal se stane tím, čím se stal VeriSign pro internet – neviditelnou, ale nenahraditelnou infrastrukturou důvěry.
— Editorial Team
Zatím žádné komentáře.