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.
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.