Pramaana Labs raises $27M to make AI prove its answers

Pramaana Labs raised $27 million in seed funding for a system that checks AI answers against domain rules and refuses to return unverified results. The startup targets regulated fields like tax, medical diagnosis, cybersecurity, and financial compliance. A deterministic layer audits outputs using the Lean formal proof language.