We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
Top Stories
Why it matters: AI progress is now being measured by coordinated systems that spend compute over hours, not only by single-model scores.
OpenAI claims an agent-swarm result on Navier–Stokes. It says a next-generation model, described as significantly more capable than GPT-6 Astra, produced an analytical proof and Lean formalization that a smooth fluid can develop a finite-time singularity. OpenAI says about 10,000 agents reached the result in 88 hours, followed by 17 hours of Lean verification. The construction uses smooth external forcing; a contemporaneous account says that is allowed under the Clay formulation but does not settle the harder unforced question, and qualifies the result “if the proof holds up.” OpenAI says it does not intend to claim the Millennium Prize, calls the release a snapshot, and cannot rule out de-identified product-derived data improving its models even though no specific user data or the researchers’ work was accessed. Validation and provenance are therefore part of the story, not footnotes.
Meta is putting personal agents in front of users. Muse is always-on, browser-using and app-connected; each instance runs in an isolated secure VM, a Sentinel checks actions before they leave, and it asks before sensitive email or spending actions. Meta offers a public bounty of up to $300,000 for security holes or impactful prompt injection and free use up to 100M tokens per week. Permissions and isolation are being shipped as core product features.
Research & Innovation
Why it matters: The most useful technical releases are expanding context—from biology to enterprise document stores.
Google DeepMind’s AlphaGenome Atlas maps the predicted impact of all 9 billion single-letter DNA changes in a 1-petabyte database more than 30 times the size of AlphaFold’s. Its AVI score ranks mutations and surfaces effects such as broken gene switches or RNA splicing, with access via the web, API and Antigravity.
Harvey and Baseten’s recursive-language-model harness loads up to 5,000 documents or 80M tokens, then delegates bounded reviews to sub-agents. Across seven models, mean rubric pass rate rose from 23.3% to 62.4%; RL raised a Qwen orchestrator from 29.9% to 63.0% on 50 held-out rooms and coverage from 62% to 96%, at higher generation cost for six of seven baselines.
Products & Launches
Why it matters: Product competition is moving toward controllable outputs and rapid iteration.
ChatGPT Images 2.5 adds faster generation, improved fidelity, edit consistency and comment-based edits, rolling out across ChatGPT, Work and Codex; Flare and Sunburst are new API models.
DeepSeek V4.1 Flash is reported in API beta as an intermediate build with a new architecture, native multimodality and faster/stronger performance; its expiring model ID points to a rapid test cycle rather than a settled release.
Industry Moves
Why it matters: Frontier compute and enterprise agents are attracting capital at the same time.
Mistral raised €3B in a Series D it calls Europe’s largest tech equity round; Samsung led, with EQT and PSG co-leading, to fund compute, infrastructure and frontier research.
Cognition raised more than $2B at a $48B valuation and says run-rate revenue rose from $492M to nearly $900M since May. Devin is expanding into proactive Slack remediation and security scanning.
Policy & Regulation
Why it matters: Government scrutiny is extending from model behavior to control of frontier capabilities.
An NSA post points to a new report co-sealed with the FBI and CISA alleging illicit distillation of U.S. frontier capabilities by China-based AI companies; it highlights tactics, techniques and recommended mitigations.
Quick Takes
Why it matters: Serving architecture and distribution are now part of the capability race.
- Agent serving: vLLM’s coding-agent traces show 43 turns per session, 142K-token inputs, 96%+ prefix-cache hits and subagent forks in 44%; it reports 83K tokens per GPU-second for DeepSeek V4 Pro and a 106× cost gap versus Opus 5.
- Astra availability: OpenAI says GPT-6 Astra is fully rolled out to Plus, Pro, Business and Enterprise users in Codex and ChatGPT Work.
- Creative tooling: Runway plugins now bring model-based generation, editing and upscaling into Premiere Pro and After Effects.
