---
title: "Pramaana Labs capta US$ 27 milhões para verificação formal em IA"
url: https://dailyjournal.news/news/2026-06-17/pramaana-labs-capta-us-27-milhoes-para-verificacao-formal-em-ia
published: 2026-06-17T14:45:33.728053+00:00
updated: 2026-06-17T15:03:14.322+00:00
categories: ["technology"]
topics: ["inteligencia-artificial"]
source_count: 2
outlet_count: 2
language: pt-BR
publisher: "Daily Journal"
---

# Pramaana Labs capta US$ 27 milhões para verificação formal em IA

Startup recebe aporte seed liderado pela Khosla Ventures para desenvolver tecnologia de verificação determinística em modelos de linguagem.

## Pontos principais

- A Pramaana Labs levantou US$ 27 milhões em uma rodada de investimento seed liderada pela Khosla Ventures.
- A empresa utiliza a linguagem de programação LEAN para criar uma camada de verificação determinística sobre LLMs.
- A tecnologia visa mitigar erros e aumentar a confiabilidade de sistemas de IA em setores críticos como jurídico, fármacos e fiscal.
- O aporte busca resolver dificuldades de empresas em escalar programas-piloto de IA para operações funcionais.

A startup Pramaana Labs anunciou a captação de US$ 27 milhões em uma rodada de investimento seed liderada pela Khosla Ventures. O capital será direcionado ao desenvolvimento de soluções de verificação formal aplicadas à inteligência artificial, utilizando a linguagem de programação LEAN para criar uma camada determinística sobre modelos de linguagem (LLMs). Essa abordagem matemática visa garantir a precisão e a confiabilidade de sistemas complexos, permitindo que empresas superem os desafios de escalar programas-piloto de IA para operações funcionais. Em um cenário onde a adoção de modelos de IA cresce rapidamente, a tecnologia da Pramaana busca mitigar falhas em setores onde a margem de erro é mínima, como na descoberta de novos fármacos, análise jurídica e preparação fiscal, trazendo maior previsibilidade e segurança ao uso de sistemas autônomos.

## Fontes

- [Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI](https://techcrunch.com/2026/06/17/pramaana-labs-raises-27-million-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai/) — TechCrunch (2026-06-17)
- [Pramaana Labs, which uses the LEAN programming language to build a deterministic verification layer on top of LLMs, raised a $27M seed led by Khosla Ventures (Russell Brandom/TechCrunch)](https://www.techmeme.com/260617/p28#a260617p28) — Techmeme (2026-06-17)

## Tópicos relacionados

- [Inteligência Artificial](https://dailyjournal.news/topics/inteligencia-artificial)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-06-17/pramaana-labs-capta-us-27-milhoes-para-verificacao-formal-em-ia