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
Comentários
Carregando comentários...