# Maxwell CEM Optimizes Binary Code During Runtime Execution DoubleAI introduces a code execution model that rewrites binaries to maximize hardware performance. - **Source:** [www.theregister.com - Articles](https://www.theregister.com) - **Published:** 2026-10-19 - **Topic:** [Data & AI](https://brifing.si/c/data-ai) - **Original article:** - **On Brifing:** https://brifing.si/s/128f136c-c46a-40c3-b6a1-a495ad8ea1a0 ## New Code Execution Model Tel Aviv startup DoubleAI has unveiled Maxwell, a code execution model designed to evaluate and rewrite binary code while programs run. Unlike traditional static compilers, Maxwell functions as an AI-driven agent that optimizes machine instructions in real-time. It aims to maximize hardware efficiency by continuously adapting algorithms based on live execution data. ## Beyond Just-In-Time Compilation While Maxwell shares similarities with JIT compilers, it introduces high-level reasoning capabilities that classical algorithms lack. Traditional compilers operate conservatively before execution, whereas Maxwell observes actual data types, hardware states, and environmental bottlenecks. This allows the model to perform non-trivial algorithmic swaps that static compilers cannot safely or effectively implement. ## Formal Verification for Reliability To ensure stability, Maxwell utilizes formal verification to generate hard proofs that its optimizations are sound. This mechanism prevents the introduction of errors during the on-the-fly rewriting process. By formally proving the equivalence of replacement code, the model maintains system integrity while significantly enhancing performance across various complex computational tasks. ## Proven Performance Gains DoubleAI reports substantial speed improvements across diverse workloads using the Maxwell model. Data pipelines have achieved performance boosts exceeding 38x, while AI inference kernels saw a 4.5x increase in speed. Additionally, the LTX-2.5 open world model generated 4K video nearly twice as fast by reducing GPU data exchange and optimizing kernel selection. ## Hardware-Centric Optimization Logic Maxwell excels at tailoring code to specific hardware configurations in ways that are often non-trivial for human developers. It is particularly effective for algorithmic code and high-level languages like Python or PyTorch graphs. By identifying bottlenecks in real-time, the model specializes program execution to match the exact environment where the code runs. ## Security and Memory Safety Beyond speed, Maxwell enhances software security by identifying and eliminating memory errors through its formalization process. The model has successfully detected memory safety issues within Python itself by proving their existence. This capability allows developers to address vulnerabilities automatically without needing to manually refactor the underlying source code during the development cycle. ## Minimal Operational Overhead The tracing and profiling processes associated with Maxwell incur a maximum overhead of only 2 percent on CPUs and GPUs. When tracing is inactive, this overhead drops to zero. Because the model also optimizes the runtime environment itself, the resulting speed gains consistently outweigh the minimal resource consumption required for its operation. ## Redefining Machine-Software Interaction DoubleAI CEO Amnon Shashua describes Maxwell as an agent working on behalf of the hardware rather than the human programmer. This shift represents a fundamental change in how software executes, moving from static instructions to dynamic, AI-driven adaptation. It marks a transition where AI actively manages machine performance during active program execution. ## Sources covering this story - https://www.theregister.com/ai-and-ml/2026/10/19/maxwell-gives-sub-optimal-code-a-runtime-glow-up/5303961 — --- _Summary written by Brifing from the original reporting. Copyright in the original article belongs to its publisher; read the full piece at the link above._