Binance Founder Says AI Endangers Crypto Holders Through Phishing Rather Than Broken Cryptography, as Anthropic Argues Models Can Scale Formal Verification · Polylog