Pramaana Labs: US$ 27M para garantir que a IA não erre onde errar tem preço

A Pramaana Labs fechou uma rodada seed de US$ 27 milhões liderada pela Khosla Ventures para resolver um dos maiores problemas de IA em produção: alucinações em contextos onde o erro tem consequência real. A abordagem é "verificação formal" — técnicas de matemática formal, usadas em hardware crítico de aviação e semicondutores, agora aplicadas para garantir que saídas de LLMs sejam verificáveis e auditáveis.

O foco inicial são três verticais: jurídico, descoberta de medicamentos e preparação fiscal. Todos os três são setores onde um erro gerado por IA pode custar um cliente, uma aprovação regulatória ou uma autuação da Receita. A verificação formal não elimina o erro — ela fornece uma trilha auditável que indica quando o modelo tem ou não tem certeza sobre uma saída.

Por que importa: Para advogados, contadores e profissionais de saúde que ainda hesitam em adotar IA por medo de erros invisíveis, a Pramaana aponta um caminho concreto. A aposta da Khosla Ventures sinaliza que esse mercado está maduro o suficiente para receber capital sério — e que a próxima batalha em IA não é só sobre capacidade, mas sobre confiabilidade verificável.