Ripoti za AI · Google DeepMind · 2026-11-10 · Blogu / maoni
Uthibitishaji Rasmi wa Itifaki ya Signal kwa Kutumia Gemini
Kichwa asilia: Formal Verification of Signal’s Protocol with Gemini
Watafiti wa Google DeepMind walitumia AlphaProof Code, mfumo mpya wa kiwakala, kuongoza mawakala wa AI katika kuthibitisha kihisabati sifa muhimu za usalama za msimbo ulio nyuma ya itifaki ya Signal. Wataalamu wa kibinadamu waliamua cha kuthibitisha na kupitia vipimo vya usalama, huku mawakala wa AI wakitekeleza uthibitisho katika Lean. Mawakala hao pia walikagua uthibitisho na kuashiria maeneo yaliyohitaji kuangaliwa tena na binadamu.