MoneyThe story, in brief
Pramaana Labs raises $27M to make AI prove its answers
$27M. That's what Pramaana Labs just raised to make AI prove every answer before it ships.
The KeyNews take
Why it matters
Formal verification is emerging as a critical control layer for high-stakes AI deployment. This seed round signals investor confidence that AI safety-as-infrastructure—not just safety research—is fundable and urgent.
The key facts
5 to knowPramaana Labs raised $27M in seed funding
Company building formal verification 'compiler' for AI systems
Product validates AI outputs against domain rules before returning answers
Targeting high-stakes use cases where AI correctness is non-negotiable
Founded date: 2026 (recent venture)
Go to the source
SiliconAnglesiliconangle.com
Publisher excerpt: Formal verification startup Pramaana Labs Inc. today said it has raised $27 million in seed funding for a system it describes as a compiler for high-stakes artificial intelligence. The product checks an AI model’s answer against the rules of a domain and will not return it unless it can be proved…