A New Benchmark Tests Whether AI Agents Can Actually Secure Smart Contracts · Polylog