Віталік Бутерін назвав можливе застосування ШІ для Ethereum

Співзасновник Ethereum Віталік Бутерін зацікавився використанням ШІ для формальної перевірки коду і пошуку помилок. One application of AI that I am excited about is AI-assisted formal verification of code and bug finding. Right now ethereum’s biggest technical risk probably is…









