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

Стартап Pramaana Labs привлёк $27 млн в раунде Seed от Khosla Ventures для внедрения формальной верификации в системы искусственного интеллекта. Компания нацелена на высокочувствительные сферы, такие как юриспруденция и разработка лекарств, где критически важна надёжность и отсутствие ошибок.