Виталик Бутерин назвал возможное применение ИИ для Ethereum Соучредитель Ethereum Виталик Бутерин заинтересов…
Виталик Бутерин назвал возможное применение ИИ для Ethereum Соучредитель Ethereum Виталик Бутерин заинтересовался использованием ИИ для формальной проверки кода и поиска ошибок. One application of AI that I am excited about is AI-assisted formal verification of code and bug finding.Right now ethereum& biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.— vitalik.eth (... https://clck.ru/38usGU
Автор: Forklog Новости криптовалюты