Hacker News· laginimaineb·· 1 小时前精选AI 评分80
doubleAI 推出 Maxwell：在代码与硬件之间运行时优化并形式化证明等价
Maxwell: A new kind of model that sits between code and hardware
AI 导读
doubleAI 发布 Maxwell，一种在程序运行时观察代码、按具体机器和数据重写二进制、并对每项优化做形式化等价证明的模型，支持 CPU 和 GPU。
推荐理由
原文给出多个场景的加速数字和等价性证明机制，读者可据此判断运行时重写代码这条路线的实际收益。
来源：Hacker News · heymaxwell.ai