Code Metal привлекла $125 млн: AI-перевод и верификация кода для оборонки без «новых багов»

Что произошло

Бостонский стартап Code Metal (основан в 2023 году) объявил о привлечении $125 млн в раунде Series B. Компания развивает платформу, которая с помощью ИИ переводит и проверяет (верифицирует) легаси‑код для оборонных подрядчиков и близких по требованиям отраслей — там, где модернизация софта не должна превращаться в лотерею с ошибками.

Зачем оборонке «перепрошивка» кода

Волна AI‑инструментов для программирования быстро добралась до крупных корпораций, но в критических системах главный вопрос звучит иначе: не «как быстрее написать», а «как гарантировать корректность». Code Metal строит позиционирование вокруг идеи, что генерация и перевод кода без строгой проверки могут дорого обойтись, особенно в инфраструктуре и оборонных проектах.

Как работает подход Code Metal

Перевод между языками и платформами

Компания описывает свой продукт как связку из code translation + code verification. Примеры направлений перевода, о которых говорится в материале:

• из более «высокоуровневых» сред: Python, Julia, Matlab, C++
• в более низкоуровневые/специализированные цели: Rust, VHDL, Nvidia CUDA

Проверка на каждом шаге

Ключевой элемент — генерация test harnesses (тестовых обвязок), которые помогают сверять поведение программы по мере трансформации. Также подчеркивается, что система может отказаться выполнять задачу, если не может завершить перевод в рамках собственных ограничений и критериев качества.

Клиенты и сферы применения

Среди ранних заказчиков называются L3Harris, RTX (Raytheon) и ВВС США, а также упоминается сотрудничество с Toshiba. Это укладывается в тезис о фокусе на доменах, где критичны качество, воспроизводимость и трассируемость изменений.

Деньги, оценка и инвесторы

Раунд Series B на $125 млн возглавил Salesforce Ventures; среди участников также упоминаются Accel, B Capital, J2 Ventures и другие. Компания описывается как оцененная примерно в $1,25 млрд и заявляет, что она прибыльна.

Как стартап зарабатывает в эпоху AI‑разработки

Вместо классической модели «оплата за место» Code Metal, по описанию, договаривается с заказчиками индивидуально — привязывая стоимость к измеримым параметрам, например:

• времени на разработку kernel‑компонента,
• числу строк переведенного кода,
• сэкономленному времени разработки.

Почему это важно

История Code Metal — показатель того, куда смещается спрос: в сторону безопасной модернизации легаси‑софта, а не только «вдохновляющего вайб‑кодинга». Если верификация и тестовые контуры действительно масштабируются, такие платформы могут стать мостом между старым индустриальным ПО и современными стеками — без потери надежности.

---

Источник: WIRED