AI 工具
doubleAI 开放 Maxwell 早期访问：运行时改写二进制，称每处改动都附形式化等价证明
doubleAI 开放 Maxwell 早期访问申请，自称第一个「代码执行模型」：运行中观察数据流、改写底层二进制以适配具体机器与数据，源码不变，并称每处改动都以形式化证明与原程序语义等价。首页自测数字：LTX-2.5 生成一段 5 秒 4K 视频（2×B200）从约 250 秒降到 134 秒（1.87×）；Whisper-small 在 RTX 4090 上 180 次转写从 106.23 秒降到 49.82 秒；NetworkX betweenness centrality 从 61.44 秒降到 17.50 秒；另称 cuGraph 平均快 3.6 倍、在 SOL-ExecBench 的 Blackwell kernel 上超过 NVIDIA PyTorch 基线 90%。官网未给发布日期，仅称「即将」开放早期访问。
对 AI 使用者意味着什么
AI 从「写代码」进入「改机器码」的执行层，审计与供应商锁定成了新问题。所有加速数字均为厂商自测，无第三方复现。
来源：doubleAI / Maxwell ↗ 原文链接、Hacker News ↗ 原文链接
有具体工作流问题？联系咨询。新闻本身免费阅读。