Typesafe AI привлекла 870 млн долларов на проверку кода, написанного моделями

Typesafe AI привлекла 870 млн долларов при оценке 7,5 млрд. Компания делает инструменты проверки кода, который пишут модели: статический анализ и типовые гарантии поверх вывода агента.

Раунд обсуждают на Hacker News — 276 очков и 212 комментариев. Спор идёт о разрыве между оценкой и выручкой: продукт решает узкую задачу, а мультипликатор поставлен как у платформы.

Примечательно соседство: в тот же день Oxide Computer, которая делает серверные стойки целиком, закрыла раунд D на 445 млн долларов — вдвое меньше при куда более капиталоёмком бизнесе.