To Write Secure Code, Be Less Gullible Than Your AI