Pramaana Labs залучає $27M раунд Seed для формальної верифікації ШІ з LEAN Proofs

2026-06-18 08:21:25

За даними Beating, стартап із формальної верифікації для ШІ Pramaana Labs завершив посівний раунд на $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 від використання 10% параметрів конкурентів

8год тому

Khosla Ventures очолює $27M раунд seed для AI-стартапу Pramaana Labs

8год тому

Odyssey залучає $310M раунд серії B з оцінкою в $1,45B 17 червня, Amazon приєднується до раунду

18год тому

DeepSeek залучає 51 мільярд юанів у раунді Series A, Tencent очолює; оцінка сягає 400 мільярдів юанів

21год тому

Flagright завершує фінансування раунду Series A на 12,5 млн доларів США під проводом Infinity Ventures

Поглиблений аналіз