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

2026-06-18 08:21:25

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

Pramaana сотрудничает с бывшим комиссаром IRS США Дэнни Вёрфелем для налоговых применений, а также с профессорами из IIT Delhi, IIT Madras и UC Berkeley для систем верификации в области кибербезопасности и разработки лекарств.

Посмотреть источник

Дисклеймер: Информация на этой странице может быть получена из источников третьих сторон и предоставляется только для ознакомления. Она не отражает взгляды или мнения Gate и не является финансовой, инвестиционной или юридической рекомендацией. Торговля виртуальными активами связана с высоким риском. Пожалуйста, не основывайте свои решения исключительно на данных этой страницы. Подробнее смотрите в Дисклеймере.

Связанные новости

1ч назад

Manifold AI завершает финансирование на несколько миллиардов юаней с использованием модели WorldScape Robot Model, применяя лишь 10% параметров конкурентов

8ч назад

Khosla Ventures возглавляет $27M -раунд посевного финансирования стартапа Pramaana Labs в сфере ИИ

9ч назад

Odyssey привлекла $310M раунд серии B с оценкой в 1,45 млрд долларов 17 июня, Amazon присоединилась к раунду

18ч назад

DeepSeek привлекает 51 миллиард юаней в раунде Series A, Tencent лидирует; оценка достигает 400 миллиардов юаней

21ч назад

Flagright завершила финансирование серии A на 12,5 млн долларов, которое возглавила Infinity Ventures

Детальный анализ