Code Metal привлёк $125 млн для модернизации кода оборонки с ИИ

Бостонский стартап Code Metal объявил о привлечении $125 миллионов инвестиций — и эта новость говорит не только об амбициях одной компании, но и о масштабном сдвиге в подходе оборонной индустрии к своим технологическим долгам. Десятилетиями военные подрядчики эксплуатировали программные системы, написанные на COBOL, Fortran и других языках прошлого века, поддерживая их живыми усилиями редких специалистов, чей средний возраст неуклонно растёт. Теперь ИИ берётся за задачу, которую люди откладывали слишком долго.

Проблема легаси-кода в оборонном секторе — одна из самых недооценённых технологических угроз нашего времени. Критические системы управления, логистические платформы, программное обеспечение для наведения — всё это нередко работает на коде, которому тридцать, сорок, а то и пятьдесят лет. Попытки его переписать вручную традиционно заканчиваются одинаково: проекты затягиваются на годы, стоимость многократно превышает бюджет, а новые баги воспроизводят или даже усугубляют проблемы оригинала. Именно в этой точке провала и позиционирует себя Code Metal.

Ключевое отличие подхода компании — не скорость перевода, а верификация. Большинство инструментов на основе больших языковых моделей умеют переписывать код с одного языка на другой с завидной скоростью, но не могут гарантировать, что результат идентичен по поведению оригиналу. Для потребительских приложений небольшое расхождение — это баг-репорт. Для системы управления ракетным комплексом или алгоритма распознавания целей — это катастрофа. Code Metal утверждает, что его ИИ-система не просто транслирует код, но и математически подтверждает эквивалентность нового кода старому: каждая ветка логики, каждое граничное условие, каждый побочный эффект проходят формальную проверку.

Это направление — так называемая формальная верификация — существует в академической среде давно, но традиционно требовало колоссальных ручных усилий и глубокой математической экспертизы. Code Metal делает ставку на то, что современные ИИ-модели впервые позволяют автоматизировать этот процесс в промышленном масштабе. Если это действительно работает так, как заявляет компания, речь идёт о качественном изменении в том, что вообще возможно при миграции легаси-систем.

Инвестиционный раунд в $125 миллионов — весомый сигнал рынку. Оборонный технологический сектор переживает настоящий инвестиционный бум после нескольких лет, когда Кремниевая долина демонстративно дистанцировалась от военных контрактов. Успех Anduril, Shield AI и других defence-tech стартапов переформатировал восприятие отрасли: сегодня оборонные технологии снова считаются привлекательным венчурным направлением. Code Metal попадает в эту волну с продуктом, который закрывает конкретную, измеримую боль — а не абстрактную «безопасность» или «эффективность».

Для самих оборонных подрядчиков ставки предельно высоки. Министерство обороны США годами пытается модернизировать технологическую базу через программы типа JEDI и его наследников, но инфраструктурный слой — само программное обеспечение на устаревших языках — остаётся болезненным узким местом. Найти программиста на Fortran, способного разобраться в коде сорокалетней давности без документации, с каждым годом становится всё сложнее. Автоматизированная миграция с гарантией корректности — это не просто удобство, это вопрос долгосрочной боеспособности.

Code Metal сталкивается и с очевидными скептиками. Формальная верификация сложных систем — задача, которую компьютерная наука не решила окончательно даже за пределами ИИ-контекста. Реальный оборонный код нередко содержит намеренные или случайные зависимости от специфичного поведения железа, операционной системы или компилятора — нюансы, которые крайне трудно уловить любым автоматическим инструментом. Доказать работоспособность технологии на боевых системах, а не демонстрационных проектах — задача, которую стартапу ещё предстоит решить публично и убедительно.

Тем не менее само появление Code Metal с серьёзным финансированием фиксирует важный момент: индустрия наконец признала, что ИИ готов браться не только за написание нового кода, но и за расшивку десятилетий накопленного технологического долга. Если эта ставка окажется верной, следующие несколько лет покажут, как меняется само представление о том, что значит поддерживать критические программные системы — не только в обороне, но и в энергетике, авиации, финансах. Легаси-код есть везде. Проблема универсальна. Code Metal просто начал с самого требовательного заказчика.