Ethereum-Gründer Vitalik Buterin sagt, dass die KI-Verifizierung zur Sicherung von Krypto-Netzwerken beitragen könnte

Vitalik Buterin sagte, mathematisch verifizierte Software könne zum Schutz kryptografischer Infrastrukturen beitragen, da KI sowohl die Codegenerierung als auch die Erkennung von Schwachstellen verbessere.