安全研究员用 agent+z3 找位运算优化，16 条指令压到 13 条

lauriewired · x · 2026-10-28

知名逆向工程/安全研究员 LaurieWired 分享冬季「FLOP-maxxing」玩法的实际成果：既然 CPU/GPU/游戏机本质是 1:1 的电暖器，天冷时不如让 agent 跑有意义的大算力实验。她的具体做法是给 agent 派活，做「超优化编译器」式搜索——针对特定 CPU 代际找 bit twiddling 优化，并用 z3 求解器验证下界。配图显示对 splitby3 函数（Morton 编码的 SplitBy3Bits），libmorton 的参考实现是 16 条操作，而 agent+z3 找到了只有 13 条操作的版本，gcc 15.1 -O2 -march=znver2 下汇编也明显更短。她评价「效果还不错」。这是一个任何人都能照着试的 agent+约束求解器组合技。