Виталик говорит, что ИИ не уничтожит кибербезопасность — он также может математически доказывать, что код безопасен, а не просто находить ошибки

$ETH продвигается к формальной верификации целых кодовых баз. Виталик настолько уверен, что держит ~90% своего состояния в криптовалюте

$ONE

$FLNC