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

Related Stories

Baseten Lands $1.5 Billion, Aims for $13 Billion Valuation with AI Inference Play

An ex-Palantir leader raised $16M to point AI at the NHS’s paperwork, not its doctors

85% of NATO’s defence-tech funding goes to the US. AVP and Earlybird raised €500M to change that.

California's AI IPOs may yield less tax revenue than anticipated.