Axiom привлек 200 миллионов долларов для проверки кода ИИ

Стартап Axiom, разрабатывающий инструменты для проверки искусственного интеллекта, привлек 200 миллионов долларов финансирования. Компания стремится доказать, что код, сгенерированный искусственным интеллектом, безопасен для использования.

Axiom разрабатывает инструменты для формальной верификации, чтобы подтвердить, что программное обеспечение, написанное ИИ, ведет себя так, как задумано, и не содержит уязвимостей. Это особенно важно, поскольку разработчики все чаще полагаются на инструменты ИИ, такие как Copilot от GitHub и ChatGPT от OpenAI, для автоматизации процесса кодирования.

Компания планирует использовать полученное финансирование для расширения своей команды и разработки новых инструментов. Инвестиции возглавила компания Insight Partners, в раунде также участвовали другие инвесторы, включая Andreessen Horowitz и Coatue.

Axiom была основана в 2023 году. Ее основателями являются специалисты из Массачусетского технологического института и Стэнфордского университета, которые занимались исследованиями в области формальной верификации. Компания позиционирует себя как решение для проблем безопасности, связанных с использованием ИИ в разработке программного обеспечения.