Pramaana Labs Raises $27M from Khosla Ventures for Formal Verification in AI
TechCrunch AI41 days agoBusinessPramaana Labs has raised a $27 million seed round led by Khosla Ventures, aiming to bring formal verification — a mathematically rigorous approach to proving system correctness — to AI systems. The startup will focus on high-stakes verticals including law, drug discovery, and tax preparation, where AI errors carry significant legal, financial, or health consequences. Formal verification offers stronger reliability guarantees than conventional testing, positioning Pramaana for enterprise AI deployments where accuracy is non-negotiable.
Probably Raises $9M to Build More Reliable AI
TechCrunch AI42 days agoBusinessProbably, an AI reliability startup, has raised $9 million in funding to tackle one of the field's most persistent problems: hallucinations and factual errors in AI outputs. The company's stated goal is to prevent inaccurate information from ever reaching end users, targeting accuracy levels comparable to traditional deterministic software. This positions Probably squarely in the growing space of AI output verification and trust infrastructure.
KPMG Pulls AI Usage Report Due to Apparent Hallucinations
TechCrunch AI44 days agoIncidentKPMG, one of the world's largest professional services firms, withdrew a published report on AI usage after it was found to contain apparent hallucinations — errors likely introduced by an AI system used in its preparation. The incident highlights a sharp irony: AI proving unreliable as a source of information about AI itself. It adds to a growing list of high-profile cases where AI-generated content has undermined the credibility of professional and institutional outputs.
Notion restores access to Anthropic after service disruption
TechCrunch AI50 days agoIncidentNotion restored access to Anthropic following a service disruption that affected availability. The report notes that Notion’s head of product was surprised by how widely the update was reposted. The incident highlights how dependent AI-enabled products have become on upstream model providers and reliability planning.
Why Google’s AI can’t spell Google (or anything else)
TechCrunch AI61 days agoCommentaryTechCrunch frames Google’s AI spelling problem as another public embarrassment for the company. Based on the provided excerpt, the article does not specify the product, model, test setup, examples, technical cause, or Google response. The main takeaway is reliability: even major AI systems can fail at basic-looking text tasks, so outputs still need review.