☀ TL;DR
OpenAI releases AI-generated Navier–Stokes solution with Lean proof
OpenAI released an AI-generated Navier–Stokes solution with a Lean formal proof and a writeup.
Google DeepMind launched AlphaGenome Atlas with precomputed predictions for roughly 9 billion human single-nucleotide variants and the AVI score.
Meta launched Muse in the U.S., a personal agent linking email, calendars, payments and health across web, iOS, Android and WhatsApp.
Mistral AI raised €3B in Series D at a €21B+ valuation led by Samsung Electronics to scale compute, infrastructure, commercial growth and international expansion.
A report alleged Anthropic is building predictive surveillance of activists, monitoring protests and contracting with risk-detection firm Samdesk.
Lead · Industry
Cognition said it raised $2 billion at a $48 billion valuation in a round led by Andreessen Horowitz, Accel, Founders Fund, General Catalyst and Avenir. The startup reported annualized run-rate revenue rising from $492 million to $900 million since May and was founded in 2024 by Scott Wu.