Užuot pasikliavę vien auditoriais žmonėmis, kūrėjai gali vis dažniau naudoti dirbtinį intelektą, norėdami matematiškai įrodyti, kad kodas elgiasi teisingai. Vitalikas Buterinas, vienas iš Ethereum įkūrėjų, […]