Vitalik Buterin affirme que l'IA pourrait renforcer la sécurité cryptographique

Au lieu de s’appuyer uniquement sur des auditeurs humains, les développeurs peuvent de plus en plus utiliser l’IA pour prouver mathématiquement que le code se comporte correctement.