A Pramaana Labs Angaria $27M numa ronda Seed para Verificação Formal de IA com LEAN Proofs

De acordo com Beating, a startup de verificação formal de IA Pramaana Labs concluiu uma ronda de seed no valor de 27 milhões de dólares liderada pela Khosla Ventures, com participação da Accel, BoldCap, Nexus Venture Partners, Premji Invest e Unbound. A empresa utiliza LEAN, uma linguagem de programação open source para verificar teoremas matemáticos, para construir uma camada determinística de verificação sobre modelos de large language models para indústrias de alto risco, incluindo o direito, o desenvolvimento de medicamentos e a conformidade fiscal.

A Pramaana está a colaborar com o antigo comissário do IRS dos EUA, Danny Werfel, para aplicações fiscais, e com professores da IIT Delhi, IIT Madras e UC Berkeley para sistemas de verificação em cibersegurança e desenvolvimento de fármacos.