Сигнал

Google DeepMind зерттеушілері AI агенттері AlphaProof Code-ды пайдаланып, Signal-дағы негізгі хабарламаларды қорғау механизмдерін математикалық түрде тексерді. Төрт апта ішінде жүйе Lean-де шамамен 6,5 миллион дәлелдер жолдарын жасады. Бұл жұмыс криптографиялық кодтың белгілі бір қауіпсіздік қасиеттерін растады, бірақ бүкіл қосымшаны қамтымады.