🇺🇸

You're browsing from United States

Switch to your local edition for news relevant to you.

Startups

19 articles
Pramaana Labs Raises $27M Seed to Make AI Actually Reliable Using Math

Pramaana Labs Raises $27M Seed to Make AI Actually Reliable Using Math

A startup called Pramaana Labs just raised $27 million to apply formal verification—a math-heavy method used in chip design—to AI models. The goal: stop AI from hallucinating and make it trustworthy for business.