•SiTech AI Team
Google DeepMind-მა აგენტური AI-ის გამოყენებით Signal-ის პროტოკოლი ფორმალურად დაამოწმა
Google DeepMind-ის მკვლევარებმა აგენტური AI-ით Signal-ის პროტოკოლის კრიპტოგრაფიული გარანტიები ოთხკვირიან პროექტში ფორმალურად დაამოწმეს. ნაშრომი დამოუკიდებლად ადასტურებს Signal-ის, Google Messages-ისა და WhatsApp-ის კრიპტოგრაფიას.