Three threads run through today’s issue.

The first is open models with price tags attached. Ricursive says its Ripple-65B cost $32 million, Cognition’s SWE-2 Flash costs a fifth of its flagship, and Tencent’s Hy4 can now operate a computer.

The second is results you can check. OpenAI paid $1.2 million for an AI to find 948 Linux root bugs with patches, Axiom turned a 7,500-page math text into 16 million lines of machine-checked Lean code, and DeepMind posted the files behind its AlphaEvolve math records.

The third is the cost of running AI. Moonshot’s Kimi K3.1 Pro holds 2.8 trillion parameters but uses 104 billion at a time, and Together AI says agents can retune its servers daily for up to 2.6 times the speed.

Open Models, New Price Tags: Who Is Selling What

Three labs shipped capable models this week, each with a cost or a catch attached.

Show the Receipts: Bugs, Proofs and Fake-Photo Detectors

Four releases where the real question is whether anyone else can verify the result.

Cheaper to Run: Smaller Bills Under the Hood

Three ideas for making each answer cost less, from the model’s design to the servers behind it.

Today’s Quick Hits