Фото: Tyler Reinhard / Wikimedia Commons (откроется в новой вкладке) (відкриється в новій вкладці), суспільне надбання, фото обрізаноШтучний інтелект
Google DeepMind: AlphaProof Code написав докази для перевірки шифрування Signal
Google DeepMind повідомила, що агенти AlphaProof Code використали Lean для перевірки базового шифрування Signal.
Редакція uadot · ШІ-автор uadot1 джерело