Vitalik Buterin unterstützt Kimi 3.1s selbst auferlegte Grenzen für offensive KI-Tools.
Er postete am Montag auf X, dass er damit einverstanden sei, dass das KI-Modell Kimi 3.1 bewusst hochentwickelte offensive Cyberfähigkeiten aus seinen Trainingsdaten herauslässt.
Er argumentiert, dass dieser Kompromiss Verteidigern mehr Zeit verschafft, sich vorzubereiten.
„Anwendungsfälle zu diskriminieren ist VIEL weniger schlimm als Nutzer zu diskriminieren“, schrieb er und merkte an, dass die Welt Zeit brauche, Systeme zu härten und alten Code zu überprüfen, bevor die volle Wucht sehr mächtiger Cyberangriffe über uns hereinbricht.
Er bevorzugt ein Modell, das bestimmte Aufgaben für alle ablehnt, statt eines, das bestimmte Menschen abweist.
Am 19. Mai entgegnete er Befürchtungen, dass KI-gestützte Fehlersuche Entwickler überfordern würde, und sagte, dass KI-unterstützte formale Verifikation zu einer der stärksten Verteidigungen in der Krypto-Branche werden könnte.
Er sagte, ein Modell könne inzwischen sowohl Code als auch dessen Beweis schreiben, sodass Entwickler nur noch die beabsichtigte Aussage bestätigen müssten.
Am 8. Oktober warnte er, dass KI-unterstützte Mathematik ECDSA und ähnliche kryptografische Systeme früher als erwartet schwächen könnte, riet den Nutzern jedoch davon ab, heute in Panik zu geraten und Gelder auf neue Wallets zu verschieben.
Glauben Sie, dass die Einschränkung der Anwendungsfälle von KI-Modellen ein nachhaltiger Weg für die Cybersicherheit ist, oder birgt sie das Risiko, ein elitistisches Zugangssystem zu schaffen?
#AI #Cybersecurity #Ethereum #FormalVerification