Keleros evaluated many smart contract security tools (static analyzers, symbolic execution, fuzzers, and AI). Most miss issues and generate many FPs esp on complex DeFi contracts. AI sometimes beats specialized tools on simple cases, but struggles once systems get complex.