每天听简报，了解最新科技、AI、软件资讯
人工智能初创团队推出了代码执行模型麦克斯韦，能在程序运行时动态重写底层二进制指令，实现针对硬件与数据特征的即时极速优化。与传统静态编译器不同，该模型在后台实时观察负载与芯片架构，利用大模型搜索更激进的算法重构，并通过确定性形式化验证严格证明优化前后逻辑完全等价。实测显示，其在图形处理器上将视频生成速度提升近一倍。讨论区认为，这种将概率模型与形式化证明结合的思路，为突破编译极限打开了新空间。
进度保存在本设备 · 登录同步