Uma vulnerabilidade significativa na rede de privacidade Zcash, não detectada por quatro anos, foi recentemente descoberta usando o modelo de IA Opus 4.8 da Anthropic. A falha, que poderia ter permitido a criação ilimitada de tokens falsificados, foi corrigida, mas sua revelação fez com que o token da Zcash despencasse quase 38% em 24 horas. Especialistas alertam que vulnerabilidades semelhantes podem existir em outras criptomoedas e sistemas bancários tradicionais, potencialmente identificáveis por ferramentas de IA. Figuras proeminentes na indústria cripto, como Haseeb Qureshi da Dragonfly e Ben Goertzel da SingularityNET, defendem a adoção da verificação formal para aprimorar a segurança do software. Esse processo envolve o uso de IA para verificar automaticamente provas matemáticas, potencialmente prevenindo vulnerabilidades futuras. No entanto, implementar essas proteções apresenta desafios, conforme destacado pelo CEO da CertiK, Ronghui Gu, que enfatiza a necessidade de defesas escaláveis contra ameaças cada vez mais sofisticadas impulsionadas por IA.