
Pramaana Labs Raises $27M for Provably Correct AI
Pramaana Labs uses the LEAN proof language to attach a mathematical certificate to every AI answer in high-stakes domains like tax, law, and drug discovery.
They summarize our coverage. We write it.
Newsletters like this one rebroadcast our headlines - often without the full review, the source reading, or the analysis underneath. Our weekly briefing sends the work they paraphrase, straight from the desk, before they get to it.
Free, weekly, no spam. One email every Tuesday. Unsubscribe anytime.

Pramaana Labs uses the LEAN proof language to attach a mathematical certificate to every AI answer in high-stakes domains like tax, law, and drug discovery.

OpenAI's Deployment Simulation replays 1.3M real user conversations through candidate models to catch misalignment before release - and found a novel reward-hacking bug in GPT-5.1.

CPP Investments commits C$1 billion to Indian data center operator CtrlS in a dual equity-and-JV structure, joining the global race to build hyperscale AI infrastructure across India.

Microsoft is shifting Copilot Cowork to usage-based pricing and testing DeepSeek V4 on Azure, trading 57x cheaper tokens for a geopolitical risk that has not gone away.

Amazon leads a $310M round into Odyssey, a startup building world models that simulate physics - not just language - with Trainium chip adoption baked in as the price of entry.

Two major surveys from WordPress VIP and Gartner find a majority of US consumers are put off by AI labels in brand messaging, even as companies race to build AI visibility for search engines.

Sensor Tower's State of AI 2026 report shows ChatGPT's True Audience share fell to 46.4% in May as Gemini and Claude eat into OpenAI's lead.

Alibaba launches three open-weight models for robot manipulation, navigation, and world prediction, built on a shared Qwen3.5 backbone with open weights.

Anthropic's first Public Record survey of 51,993 Americans finds 64% fear job displacement, only 15% trust AI companies, and 70%+ support government regulation - with rare bipartisan consensus.

SpaceX signed a merger agreement to acquire Anysphere, maker of AI coding tool Cursor, for $60 billion in stock just four days after the company's record-breaking Nasdaq IPO.

Meta launched AI Mode on Facebook, turning billions of public posts into AI-synthesized search answers with no opt-out for the 2 billion daily users whose content powers it.

Bengaluru-based Sarvam hit a $1.5 billion valuation after HCLTech put in $150 million, betting India can build its own AI stack and stop routing sensitive data through American clouds.