Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery

As companies struggle to turn AI pilots into things they can actually rely on, a new startup is betting the fix looks less like a better chatbot and more like a mathematical proof.

Pramaana Labs announced $27mn in seed funding on Wednesday, led by Khosla Ventures, with Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound also taking part.

The company is going after high-stakes fields where a wrong answer carries real cost: law, drug discovery, and tax preparation.

Its pitch is that those fields are not as messy as they look. “The world’s hardest problems are not unsolvable. They are unformalised,” said co-founder and chief executive Ranjan Rajagopalan. “Every domain where being wrong can cost someone their health, money, or freedom has rules.”

An LLM with a proof-checker bolted on

Pramaana still runs on a conventional large language model, which gives it the flexibility to handle natural-language questions. The...

Copyright of this story solely belongs to thenextweb.com. To see the full text click HERE