Pramaana Labs raises $27M for AI with math proofs

Pramaana Labs raised $27 million in seed funding led by Khosla Ventures. The startup uses the LEAN formal verification language to check an LLM's reasoning for law, tax, and drug discovery. The approach aims to make AI outputs deterministic rather than probabilistic in high-stakes fields.