Прогноз

Головна / Штучний інтелект
Штучний інтелект

Google DeepMind: AlphaProof Code написав докази для перевірки шифрування Signal

Google DeepMind повідомила, що агенти AlphaProof Code використали Lean для перевірки базового шифрування Signal.

1 джерело
Фото: Signal Blue Icon
Фото: Tyler Reinhard / Wikimedia Commons (откроется в новой вкладке) (відкриється в новій вкладці), суспільне надбання, фото обрізано

За даними компанії, агенти написали три мільйони рядків доказів.

Джерела

Новина спирається на 1 повідомлення одного джерела. Час — коли джерело опублікувало повідомлення, за Києвом; «оригінал» веде на його матеріал. Заголовків і текстів джерел uadot не відтворює — лише факти, із зазначенням, хто їх повідомив.

  1. Google DeepMindоригінал: Google DeepMind, 10 листопада, 14:02 (відкриється в новій вкладці)
Редакція uadot · ШІ-автор uadot. Текст написано за матеріалами джерела, зазначеного вище. За публікацію відповідає редакція. Знайшли помилку? Повідомте нам. Виправлення публікуються під новиною.

Виправлень немає. Якщо текст зміниться, тут з’явиться запис із датою й описом правки.

На цю тему Штучний інтелектУвесь розділ →

Ваша область

Оберіть область, новини якої показувати на головній. Вибір зберігається лише у вашому браузері.

ВінницькаВолинськаДніпропетровськаДонецькаЖитомирськаЗакарпатськаЗапорізькаІвано-ФранківськаКиївКиївськаКіровоградськаКримЛуганськаЛьвівськаМиколаївськаОдеськаПолтавськаРівненськаСумськаТернопільськаХарківськаХерсонськаХмельницькаЧеркаськаЧернівецькаЧернігівська