Signal හි නිශ්චිත ආරක්ෂණ ගුණාංග සඳහා විධිමත් සාධක DeepMind වාර්තා කරයි
සිදු වූයේ: Google DeepMind නොවැම්බර් 10 වන දා AlphaProof Code නිවේදනය කළේය. මිනිස් මඟපෙන්වීම සහිත එහි ඒජන්ටයන්, Signal ප්‍රොටෝකෝලයේ යොමු ක්‍රියාත්මක කිරීම වන libsignal හි නිශ්චිත ආරක්ෂණ ගුණාංග පිළිබඳව, සම්පාදිත යන්ත්‍ර කේත (machine-code) මට්ටමේදී, විධිමත් සාධක නිපදවීය. සහායක පර්යේෂණයෙන් Lean මගින් පරීක්ෂා කළ ප්‍රමේය සහ පැහැදිලිව ලැයිස්තුගත කළ උපකල්පන විස්තර කරයි. සත්‍යාපන කටයුත්තට සති හතරක් ගත වූ බව DeepMind පවසයි.
එය වැදගත් වන්නේ ඇයි: කේතය යෝජනා කිරීම හෝ සිදුවිය හැකි දෝෂ හඳුනාගැනීම පමණක් නොව, මෘදුකාංග පිළිබඳව ස්වාධීනව පරීක්ෂා කළ හැකි ගණිතමය සාක්ෂි නිපදවීමට AI උදව් කරන ආකාරයේ සංයුක්ත උදාහරණයකි මෙය. ආරක්ෂාවට තීරණාත්මක සංරචක සත්‍යාපනය කිරීමට අවශ්‍ය වෑයම එයින් අඩු කළ හැකිය.
අවවාදය: ප්‍රතිඵලය ආවරණය කරන්නේ ප්‍රකාශිත උපකල්පන යටතේ නිශ්චිත ගුණාංග පමණි. සම්පූර්ණ Signal යෙදුම, සෑම යෙදවුමක්ම හෝ අනාගත අනුවාද ප්‍රහාරවලින් ආරක්ෂිත බව එයින් තහවුරු නොවේ. කාලසටහන පර්යේෂකයන් වාර්තා කළ ප්‍රතිඵලයක් මිස සාමාන්‍ය මිණුම් සළකුණක් නොවේ.
දිනයන්: පර්යේෂණ නිවේදනය සහ මූලාශ්‍ර ප්‍රකාශනය, 2026 නොවැම්බර් 10; සති හතරක ව්‍යාපෘතිය ප්‍රකාශනයට පෙර සිදු විය.