3 veículos·3 reportagens·ao longo de 23h
Pramaana Labs capta US$ 27 milhões em rodada seed da Khosla Ventures para levar verificação formal à IA
A Pramaana Labs anunciou uma rodada seed de US$ 27 milhões liderada pela Khosla Ventures para desenvolver uma camada de verificação determinística para grandes modelos de linguagem. A empresa utiliza a linguagem de programação LEAN para aplicar provas matemáticas formais às saídas de IA, visando aplicações em direito, tributação e descoberta de medicamentos. O financiamento apoiará a construção dessa infraestrutura de verificação.
Escrito a partir de todas as reportagens abaixo, não de uma só.
Tradução automática. As reportagens originais estão no idioma de origem.
Como foi noticiado
- TechCrunch·Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
- TechMeme·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)
- The Next Web·Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery