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