doubleAI 发布 Maxwell：介于代码与硬件之间的新型代码执行模型

Maxwell 由 doubleAI 开发，定位为一种全新的「代码执行模型」（CEM）。与 Claude/Codex 等写代码的 AI 不同，Maxwell 不参与代码创作，而是直接运行在程序内部，观察数据流并实时调整算法和机器指令，输出新的二进制代码。整个过程无需人类介入，目标是实现超级优化——在特定硬件上找到执行代码的最快方式。

为保证安全，Maxwell 依赖形式化验证。它首先将代码形式化，赋予精确的数学含义，然后对每次替换生成语义等价的正式证明。这意味着无论输入如何，优化后的代码与原始代码行为完全一致，但运行更快。

• 优化发生在程序运行期间，类似即时编译器，但可自由改变算法结构
• 源代码保持原样，适合人类开发者或 Claude Code 等编码代理使用
• 团队以 Anthropic 对费马大定理的 1300 万行形式化证明为例，说明该技术在数学领域已验证

Maxwell 目前处于早期访问阶段。doubleAI 的核心理念是：人类或 AI 不断为不同场景重写优化代码的做法效率低下且不可扩展，应有模型在代码与硬件之间动态适应。