#ethereum #ии #разработка #бутерин
#ethereum #ии #разработка #бутерин Бутерин: без ИИ план Lean Ethereum мог бы затянуться до 2040 или 2050 года Виталик Бутерин рассказал, что искусственный интеллект ускоряет исследования и написание кода для Lean Ethereum. По его словам, без ИИ реализация нынешнего масштабного плана могла бы занять десятилетия. Он также объяснил, как формальные доказательства безопасности сокращают объём кода, который людям приходится проверять вручную. Источник подписаться | satoshi.ru
101 просмотров