Anthropic Trains AI to Find Vulnerabilities in Smart Contracts and Discovers Hacks Worth $4.6 Million