Pramaana Labs привлекает $27M раунд Seed для формальной верификации ИИ с LEAN-доказательствами
По данным Beating, стартап по формальной верификации ИИ Pramaana Labs завершил раунд seed на $27 миллионов под руководством Khosla Ventures, в котором также участвовали Accel, BoldCap, Nexus Venture Partners, Premji Invest и Unbound. Компания использует LEAN — открытый язык программирования для проверки математических теорем — чтобы построить детерминированный слой верификации поверх больших языковых моделей для отраслей с высокими ставками, включая право, разработку лекарств и соблюдение требов
GateNews·06-18 08:21
