Google DeepMind Signal protokolynyň esasy böleklerini matematiki taýdan tassyklady
Google DeepMind agentlik AI ulanyp, Signal protokolynyň möhüm kriptografik kepilliklerini matematiki taýdan tassyklady, bu kriptografiýa we AI üçin möhüm ösüşdir.
Google DeepMind alymlary agentlik AI tehnologiýasyny ulanyp, Signal protokolynyň esasy kriptografik kepilliklerini matematiki taýdan tassyklady. Bu iş diňe dört hepde dowam eden synag taslamasy bolup, dünýäniň köp sanly aragatnaşyk platformalarynda ulanylýan kriptografiýanyň ygtybarlylygyny tassyklaýar.
Bu taslama Google DeepMind-nyň AlphaProof Code atly täze AI çarçuwasyny ulanmak arkaly resmi tassyklama mümkinçiliklerini görkezdi. Şeýle-de, AI kömegi bilen amala aşyrylýan resmi tassyklama häzirki wagtda uly üns çekýär, ýöne onuň giňden ulanylmagy we uly kod mukdaryny howpsuzlandyrmakdaky netijeliligi barada soraglar bar.
Resmi tassyklama programmalaryň niýetlenen ýaly işleýändigini matematika arkaly barlamak we tassyklamak üçin ulanylýar, bu bolsa programma üpjünçiligindäki möhüm gowşaklyklary öňünden ýüze çykarmaga mümkinçilik berýär. Şeýlelikde, bu tehnologiýa programma howpsuzlygynyň mukaddes graýly hökmünde hasaplanýar.
Bu habar «arstechnica.com» çeşmesinden alnyp, süni intellekt kömegi bilen türkmen diline terjime edildi. Asyl makalany görmek →
