Vitalik a raison : l'IA combinée à la vérification formelle pourrait devenir l'un des modèles de développement logiciel les plus importants. La sécurité dans l'industrie de la blockchain peut être considérablement améliorée. Mais non, ce n'est pas aussi simple que « l'IA écrit le code, les preuves le vérifient, donc Ethereum devient exempt de bogues ». Une version plus réaliste est la suivante. L'IA rend l'ingénierie à haute assurance moins coûteuse et plus évolutive. Les équipes doivent toujours déterminer ce qui doit être vrai, modéliser correctement le système, maintenir les preuves et concevoir des systèmes réellement vérifiables.
