Maxwell 模型运行时重写二进制为 Whisper 等提速，附形式化验证
EvilHackFar · reddit · 2026-10-20
Reddit 用户介绍了一种名为 Maxwell 的新型模型：它运行在程序底层，根据实时观察到的硬件和数据，动态加速正在运行的程序，可加速 Whisper、LTX-2 等模型。
最大亮点是不修改源代码，而是在运行时直接改写二进制——类似 JIT，但由模型而非固定编译器启发式决定改什么。为安全起见，项目使用形式化验证（formal verification）证明优化后的版本行为不变；发帖人对浮点运算等非确定性场景下如何验证表示存疑。
「Infra」频道最新
- Perplexity 开源沙箱平台 SPACE 并入 Crusoe 云 AI 产品线 — AravSrinivas · 2026-10-20
- vLLM 团队实测 agent 写 GPU 内核:Kimi K3 助力达 stock vLLM 1.73 倍 — lmoroney · 2026-10-20
- Gartner:2030 年前 AI 基建支出近 7 万亿美元,超 3.5 万亿或减记 — rohanpaul_ai · 2026-10-20
- Stripe 75 亿美元买的是「计量器」:路由不难,难在验证模型输出对错 — AIGODSEND · 2026-10-20
- Google Cloud 升级 VPC-SC 应对 Agent 流量：新增文件夹级边界且免费 — rseroter · 2026-10-20
- 为妻子对抗结肠癌,业余研究者复现 NBFNet 遇上 GPU 成本墙 — whafa · 2026-10-20