The Frontier Red Team at Anthropic has demonstrated a new breakthrough in AI for software security verification. They ...