Raportti: tekoäly tuotti ennätyspitkän todistuksen 350 vuotta vanhaan matematiikkaongelmaan
Decryptin mukaan tekoäly on ratkaissut noin 350 vuotta vanhan matematiikkaongelman poikkeuksellisen pitkällä todistuksella. Tapauksen välitön vaikutus kryptomarkkinoihin on epäselvä, mutta se nostaa esiin muodollisen varmennuksen, nollatietotodistukset ja tekoälyavusteisen ohjelmistotarkastuksen.
Lue lisää