Pramaana Labs Raises $27M to Ensure AI Accuracy with Formal Proofs

San Francisco's Pramaana Labs has secured $27 million in funding to tackle AI's 'hallucination' problem through formal proof systems. Led by Khosla Ventures, the initiative aims to enhance legal, tax, and medical AI outputs with verifiable accuracy. Their innovative approach combines human expertise with LEAN proof technology, promising a future minimum requirement of integrity in AI responses.