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.
Tópicos relacionados
Cobertura da mídia
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)
Techmeme • 17 jun, 11:35
Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
TechCrunch • 17 jun, 11:15