Компания Pramaana Labs привлекла 27 миллионов долларов в рамках посевного раунда финансирования. Инвестором выступил фонд Khosla Ventures. Основная цель стартапа — внедрение методов формальной верификации в работу систем искусственного интеллекта для повышения их надежности и точности.
Технология формальной верификации позволяет математически доказать корректность работы алгоритмов, что критически важно для отраслей с высокой ценой ошибки. Pramaana Labs планирует сосредоточиться на таких чувствительных сферах, как юридические услуги, разработка новых лекарственных препаратов и подготовка налоговой отчетности. В этих областях даже незначительные галлюцинации или логические сбои моделей могут привести к серьезным финансовым и правовым последствиям.
Привлеченные средства будут направлены на масштабирование инженерной команды и доработку платформы, которая призвана обеспечить предсказуемость результатов ИИ-систем в критически важных бизнес-процессах. Инвестиция подчеркивает растущий спрос на инструменты контроля качества и безопасности в корпоративном секторе, где доверие к автоматизированным решениям становится главным барьером для их массового внедрения.