Բլոգ

AlphaProof Code-ը չորս շաբաթում ստուգեց Signal-ի կրիպտոգրաֆիական միջուկը

Google DeepMind-ի AlphaProof Code-ը չորս շաբաթում մաթեմատիկորեն ստուգեց Signal-ի կրիպտոգրաֆիական միջուկը՝ աշխատանք, որը սովորաբար տևում է տարիներ։ Արհեստական բանականության համակարգը ստուգեց իրական սարքի կոդը և հայտնաբերեց երկու տնկված սխալ։