Buterin: Formale Verifikation mit KI könnte Sicherheits-Wettrüste
Vitalik Buterin propagiert KI-gestützte formale Verifikation als Lösung für von KI verursachte Sicherheitsrisiken. Der Ledger-CTO sieht dagegen aktuell die Angreifer im Vorteil.
19. Mai 2026vitalik buterin
