Pramaana Labs capta US$ 27 milhões da Khosla para aplicar verificação formal em IA, mirando setores sensíveis como direito e saúde, onde a confiabilidade é crítica.
Visite
Buscar
Pramaana Labs capta US$ 27 milhões da Khosla para aplicar verificação formal em IA, mirando setores sensíveis como direito e saúde, onde a confiabilidade é crítica.
A startup Pramaana Labs captou US$ 27 milhões em rodada seed liderada pela Khosla Ventures com o objetivo de integrar verificação formal à inteligência artificial. A empresa pretende focar em verticais altamente sensíveis, como o direito, a descoberta de medicamentos e a preparação de impostos, setores onde a margem para erros é inexistente e a confiabilidade é um requisito fundamental.
Para mitigar alucinações e falhas comuns em modelos generativos, a Pramaana desenvolveu uma arquitetura híbrida. O sistema utiliza um modelo de linguagem de grande porte (LLM) convencional para processar linguagem natural e resolver problemas complexos, mas adiciona uma camada determinística superior. Essa estrutura garante que o raciocínio gerado pelo LLM seja rigorosamente validado antes de ser entregue ao usuário final.
A abordagem inovadora da companhia reside no uso de ferramentas de verificação formal, baseadas na linguagem de programação de código aberto LEAN, tradicionalmente empregada para comprovar teoremas matemáticos. Segundo Ranjan Rajagopalan, cofundador e CEO da Pramaana, a lógica de códigos tributários e regulamentos assemelha-se à matemática: uma vez que as regras são codificadas, o raciocínio sobre elas torna-se estritamente determinístico.
Para cada caso de uso, a startup constrói seu próprio sistema de verificação no estilo LEAN, supervisionado por especialistas de domínio. A iniciativa conta com precedentes globais, como o projeto CATALA, na França, que formaliza o sistema de impostos em código executável. No âmbito tributário, a Pramaana conta com a consultoria de Danny Werfel, ex-comissário do IRS, enquanto acadêmicos do IIT Delhi, IIT Madras e UC Berkeley orientam as aplicações em cibersegurança e descoberta de fármacos.
A estratégia da empresa parte da premissa de que os problemas mais complexos do mundo não são insolúveis, mas sim não formalizados. Ao traduzir regras rígidas de setores críticos para a linguagem da máquina, a Pramaana busca eliminar os riscos associados à adoção de IA em áreas onde um erro pode custar a saúde, o patrimônio ou a liberdade dos indivíduos.
Paulo Júnio de Lima é Administrador com MBA em Marketing Digital e especialista em estratégia, inovação e gestão de projetos. Na Comunicação e Relações Públicas da Grande Loja Maçônica de Minas Gerais, desenvolve soluções para fortalecimento institucional. Com passagens por ORO, Agência Open, Brasil84 e VTIC, acumula experiência em marketing digital, branding e transformação digital. Certificado pelo IA Lab do Estúdio Kimura, aplica inteligência artificial em design, automação e comunicação. Membro ativo da Ordem DeMolay há mais de 18 anos, atua também em projetos sociais e educacionais.
O futuro acontece aqui: esteja entre os primeiros a receber insights, tendências e oportunidades que moldam o mercado.
