По мере того, как инструменты кодирования на основе ИИ генерируют миллиарды строк кода каждый месяц, появляется новое препятствие: обеспечение того, чтобы программное обеспечение работало так, как задумано. Qodo, стартап, разрабатывающий агенты ИИ для проверки, тестирования и управления кодом, делает ставку на то, что верификация определит следующую фазу разработки программного обеспечения.
Стартап, базирующийся в Нью-Йорке, привлек $70 млн в рамках раунда финансирования серии Б под руководством Qumra Capital, доведя общую сумму финансирования до $120 млн. В раунд также вошли Maor Ventures, Phoenix Venture Partners, S Ventures, Square Peg, Susa Ventures, TLV Partners, Vine Ventures, Питер Велендер (ОпенЭйАй), и Клара Ших (Мета).
Фокус на доверии
Qodo стремится стать слоем, ориентированным на улучшение доверия к коду, сгенерированному ИИ, по мере того, как предприятия ускоряют внедрение инструментов, таких как ОпенКлоу и Клод Код. Многие обнаруживают, что более быстрый вывод кода не обязательно переводится в надежное или безопасное программное обеспечение.
В то время как большинство инструментов проверки кода на основе ИИ фокусируются на том, что изменилось, Qodo фокусируется на том, как изменения кода влияют на всю систему, учитывая организационные стандарты, исторический контекст и толерантность к риску, чтобы помочь компаниям более уверенно управлять кодом, сгенерированным ИИ.
Итамар Фридман, который ранее основал Визуаллид и возглавлял бизнес по машинному зрению в Алибабе (которая приобрела Визуаллид), основал Qodo в 2022 году. Он рассказал, что два ключевых момента в его карьере — его время в Мелланоксе, который позже был приобретен Нвидией, и создание Визуаллида — вдохновили его на создание Qodo, всего за несколько месяцев до запуска ЧатГПТ.
В Мелланоксе, где он работал над автоматизацией верификации аппаратного обеспечения с помощью машинного обучения, он осознал, что «генерация систем и верификация систем требуют очень разных подходов (различных инструментов, разных мыслей)». Позже, в Академии Дамо Алибабы, он увидел, как ИИ эволюционирует в сторону систем, способных рассуждать над человеческим языком. К 2021-2022 годам, всего за несколько месяцев до запуска ГПТ-3.5, стало ясно, что ИИ сгенерирует значительную часть мирового контента — особенно кода — подкрепляя его мнение о том, что генерация кода и верификация будут требовать фундаментально разных систем.
Пробел между осведомленностью и практикой
Недавний опрос показывает, что, хотя 95% разработчиков не полностью доверяют коду, сгенерированному ИИ, только 48% последовательно проверяют его перед фиксацией, подчеркивая разрыв между осведомленностью и практикой.
«Компании, генерирующие код, в основном построены вокруг больших языковых моделей. Но для качества кода и управления только большие языковые модели недостаточно», — сказал Фридман. «Качество субъективно. Оно зависит от организационных стандартов, прошлых решений и трибального знания. Большие языковые модели не могут полностью понять этот контекст. Это как взять отличного инженера из одной компании и попросить его проверить код в другой — ему не хватает внутреннего контекста».
Компании, такие как ОпенЭйАй и Антропик, помогают формировать более широкий нарратив ИИ, включая смежные области, такие как проверка кода, но они в основном фокусируются на построении функций, а не на конечных решениях, объяснил Фридман. Хотя есть другие стартапы в этой области, многие остаются на ранней стадии и еще не увидели широкое внедрение в предприятиях, отметил генеральный директор.
Qodo делает ставку на производительность, чтобы выделиться на переполненном рынке. Стартап最近 занял первое место в бенчмарке проверки кода Мартиана, набрав 64,3% — более чем на 10 пунктов впереди следующего конкурента и на 25 пунктов впереди Клод Код Ревью. Бенчмарк подчеркивает его способность обнаруживать сложные логические ошибки и межфайловые проблемы без перегрузки разработчиков шумом.
За последний месяц Qodo запустил Qodo 2.0, систему многоагентной проверки кода, которая теперь лидирует в текущих бенчмарках, и представил инструменты, которые учатся определять качество кода для каждой организации.
Компания уже работает с крупными предприятиями, такими как Нвидия, Уолмарт, Ред Хэт, Интуит и Техас Инструментс, а также с высокорастущими компаниями, такими как Мандей.ком и ДжФрог.
«Каждый год имел определяющий момент — от Копилота до ЧатГПТ до полной автоматизации задач», — сказал Фридман. «Теперь мы вступаем в новую фазу: переход от безсостояния ИИ к состоянию систем — от интеллекта к «искусственному мудрению». Это то, для чего создан Qodo».