作者假设混合方案比 '问 LLM 看起来对不对' 产生更少误报、更多可执行发现，但该假设尚未被测量。