Shashua 的 doubleAI 推出“代码执行模型”Maxwell：不改源码、运行中重写 CPU/GPU 指令提速，每处改动都有形式化证明

这件事意味着什么

【要点】

前 Mobileye 首席执行官 Amnon Shashua 创办的以色列公司 doubleAI 10 月 19 日推出首个产品 Maxwell，称是第一个“代码执行模型”。它不帮人写代码，而是盯着程序运行时的硬件和数据，在不改源代码的前提下重写底层机器指令来提速，并对每一处替换做形式化证明，保证程序行为与原来完全一致。CPU 和 GPU 都适用。

官方给出的演示数据：数据处理流水线最高快 38 倍，AI 推理内核快约 4.25 倍；LTX-2.5 在两张 B200 上生成一段 4K 视频从 250 秒降到 134 秒（1.87 倍）；RTX 4090 上 Whisper 语音转写 180 条从 106 秒降到 50 秒；NetworkX 图计算从 61 秒降到 17.5 秒。公司计划按为客户省下的算力成本收费，目前是申请制早期使用。

《华尔街日报》报道该公司获英伟达投资；融资金额各家报道不一，doubleAI 官网未单独公布。

【可核验】

Maxwell 官网：https://heymaxwell.ai/

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

Ctech 报道：https://www.calcalistech.com/ctechnews/article/sk11xpc73ge

【我们的判断】

一、编程智能体都在“写代码”这一端竞争，Maxwell 选择“让已有代码跑得更快”，直接对应算力账单，按省下的成本收费也说明它瞄准的是企业基础设施预算。

二、所有加速倍数都是公司挑选的案例，最高倍数通常出现在原本优化不足的代码上，通用场景能省多少还要看客户实测。

三、“每处改动都有形式化证明”是它与普通编译器优化或大模型改写代码的关键区别，但证明覆盖的范围和局限，公开资料里还不多。