Pramaana Labs получила $27 млн для формальной верификации LLM в критичных отраслях

Друзья, хочу поделиться новостью из мира ИИ: Pramaana Labs привлекла $27 млн посевного финансирования.

- Фокус: право, разработка лекарств, налоговая отчётность — где ошибки дорого стоят.
- Подход: LLM + детерминированный слой верификации на основе методов формальной верификации (LEAN-style).
- Инвесторы и эксперты: Khosla Ventures, Accel и другие; консультируют профильные специалисты.

Почему это важно: формализация правил снижает галлюцинации и делает выводы более предсказуемыми в критичных системах.

Как Вы считаете, можно ли масштабировать такой подход в крупные компании?

#ИИ #формальнаяверификация #надёжность #финтех