Pramaana Labs привлекла $27 млн на посевной стадии для внедрения формальной верификации в ИИ

Стартап Pramaana Labs объявил о посевном раунде на $27 млн. Инвестором выступила Khosla Ventures. Привлеченные средства команда планирует направить на разработку технологий формальной верификации для систем искусственного интеллекта.

Компания делает ставку на области, где цена ошибки особенно высока и от моделей требуется максимальная надежность. Среди таких направлений Pramaana Labs выделяет право, разработку лекарств и подготовку налоговой отчетности.

Идея проекта в том, чтобы применять методы формальной верификации для повышения надежности ИИ‑систем в профессиональных задачах повышенной чувствительности. В таких сферах даже небольшие неточности могут приводить к серьезным последствиям.