安全研究员 LaurieWired 提出 FLOP-maxxing：用 agent 加 z3 把 16 条指令压到 13 条

安全研究员 LaurieWired 调侃天气转冷时除非有热泵，每台 CPU、GPU、游戏主机本质上都是 1:1 电热器，提出不如跑满算力取暖的 FLOP-maxxing。他用 agent 加 z3 求解器寻找位运算优化，成功把 16 条指令压缩到 13 条，取暖同时产出有用结果。