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
