#VitalikButerin argumentiert, dass KI-unterstützte formale Verifikation Smart Contract Exploits endgültig beenden könnte, eine Behauptung, die besonders wichtig ist, wo finanzielle Verluste keine rechtliche Lösung haben.

Mehr lesen: https://www.cryptonewslive.org/article/vitalik-buterin-says-ai-can-finally-solve-ethereums-oldest-security-problem