К содержанию
Выпуск №11 · 19 июня 2026 / Новости

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

Стартап Pramaana Labs объявил о посевном раунде на $27 млн. Инвестором выступила Khosla Ventures.

Редакция 19 июня 2026 г., 15:02 MSK

В Telegram

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

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

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

Ключевые факты

  • Pramaana Labs привлекла $27M в посевном раунде.

  • Инвестором раунда выступила Khosla Ventures.

  • Компания работает над применением формальной верификации к AI.

  • Фокус Pramaana Labs, чувствительные вертикали, включая право, разработку лекарств и подготовку налоговой отчетности.

Как процитировать

«Pramaana Labs привлекла $27 млн на посевной стадии для внедрения формальной верификации в ИИ». hegai.media, 19 июня 2026 г.. https://hegai.media/novosti/pramaana-labs-privlekla-27-mln-na-posevnoy-stadii-dlya-vnedreniya-form--247a67cb-7236-4c85-882c-7f14bc65c1f4

так материал выглядит в мессенджере