Amnon Shashua's doubleAI launches Maxwell, a 'code execution model' that rewrites running CPU and GPU code for speed and formally proves each change

Why it matters

【Key points】

doubleAI, the Israeli company founded by former Mobileye CEO Amnon Shashua, launched its first product, Maxwell, on Oct 19, calling it the first "code execution model." It does not help write code. Instead it watches a running program, its hardware and its data, rewrites the underlying machine instructions to run faster without touching the source, and formally proves each replacement behaves exactly like the original. It works on both CPUs and GPUs.

doubleAI's published demos: up to 38× faster data pipelines and about 4.25× faster AI inference kernels; LTX-2.5 4K video generation on two B200s cut from 250 s to 134 s (1.87×); 180 Whisper transcriptions on an RTX 4090 cut from 106 s to 50 s; and a NetworkX graph job cut from 61 s to 17.5 s. The company plans to charge based on the compute costs it saves customers, and access is currently by early-access application.

The Wall Street Journal reports the company is backed by Nvidia. Reported funding figures differ between outlets, and doubleAI's own site does not state one.

【Verifiable】

Maxwell site: https://heymaxwell.ai/

LTX-2.5 case study: https://www.doubleai.com/research/maxwell-ltx-2-5-4k-in-half-the-time

Ctech report: https://www.calcalistech.com/ctechnews/article/sk11xpc73ge

【Our read】

1. Coding agents compete on writing code. Maxwell goes after making existing code run faster, which maps straight onto compute bills, and pricing by savings shows it is targeting infrastructure budgets.

2. Every speedup is a company-chosen example, and the biggest gains tend to come from under-optimized code. Real savings will depend on customer workloads.

3. Formal proof for every change is what separates it from ordinary compiler optimization or LLM code rewriting, but little has been published yet on what the proofs cover and where they stop.