Samsung is using Claude to verify chip designs. It's not going smoothly