Category Companies

Pramaana Labs Secures $27 Million to Put Formal Verification at the Core of AI

Pramaana Labs raised $27M to use formal verification and LLMs to make AI more reliable for tax, legal, drug discovery and cybersecurity.

CPP Investments commits up to $741 million to CtrlS, betting on India’s AI-driven data center boom and growing digital infrastructure demand.

World model startup Odyssey raises $310M, reaches a $1.45B valuation and adds Amazon as it shifts to AWS and Trainium.

Pinterest launches Ask Pinterest, an experimental AI shopping app, alongside new AI tools for advertisers and marketers.

The AI IPO boom is reshaping markets as SpaceX, OpenAI and Anthropic drive fresh speculation, capital flows and industry spillovers.

DeepL acquires Mixhalo to expand live translation into conferences, sports and venues, while boosting its U.S. presence.

NewCore raised $66M to secure AI agents identity, giving enterprises new tools to authenticate, govern and revoke digital workers.

A satellite used space AI to find targets in orbit without human help, signaling a new era for real-time Earth observation.

AI layoffs are soaring as tech profits rise, fueling skepticism that automation is a cover story for overhiring and cost-cutting.

Salesforce is buying AI customer service platform Fin for $3.6B to boost Agentforce and expand enterprise AI agents.