A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
Ілюстрація видання Wired
Як ця новина вийшла в дайджесті
Google DeepMind AI-інструмент AlphaProof Code формально довів криптографічну безпеку протоколу Signal, що стало важливою віхою для практичного застосування AI у верифікації софту
Повний текст — на сайті видання
Ми не передруковуємо статті. Посилання веде напряму до Wired.
Читати оригінал →
Карта висвітлення
6 видань
· подія розійшлася за 11 год 30 хв
Ми зберігаємо всі посилання, тож видання, яке було першим, видно назавжди, навіть якщо агрегатори про це забудуть.
Як новина потрапила у випуск
Множники, з яких склався ранг
0,85
=
0,90
релевантність
×
0,92
свіжість · 2,1 год
×
1,25
резонанс · 6 видань
×
1,02
вага джерела
«Дослідження Google DeepMind з формальної верифікації криптографічного протоколу за допомогою AI — це подія про AI і наукові дослідження в AI.» — класифікатор, 0,90
Ще з теми AI того дня
Увесь випуск за 10 листопада
Усе, що дійшло до випуску того дня, і чому саме воно
До випуску →