சிக்னலின் குறிப்பிட்ட பாதுகாப்புப் பண்புகளுக்கான முறையான நிரூபணங்களை டீப்மைண்ட் அறிவித்தது

நடந்தது: நவம்பர் 10 அன்று ஆல்ஃபாப்ரூஃப் கோட் (AlphaProof Code) என்ற அமைப்பை கூகுள் டீப்மைண்ட் அறிவித்தது. மனிதர்கள் வழிகாட்டிய அதன் செயற்கை நுண்ணறிவு முகவர்கள் (AI agents), சிக்னல் நெறிமுறையின் (Signal protocol) குறிப்புச் செயலாக்கமான லிப்சிக்னலின் (libsignal) குறிப்பிட்ட பாதுகாப்புப் பண்புகள் குறித்து, தொகுக்கப்பட்ட இயந்திரக் குறியீட்டு நிலையில் (compiled machine code) முறையான நிரூபணங்களை (formal proofs) உருவாக்கினர். இணை ஆய்வு, லீன் (Lean) மூலம் சரிபார்க்கப்பட்ட தேற்றங்களையும் வெளிப்படையாகப் பட்டியலிடப்பட்ட முன்கருத்துகளையும் விவரிக்கிறது. இந்தச் சரிபார்ப்புப் பணிக்கு நான்கு வாரங்கள் எடுத்ததாக டீப்மைண்ட் கூறுகிறது.

இது ஏன் முக்கியம்: மென்பொருளுக்கான குறியீட்டைச் சிபாரிசு செய்வதையோ இருக்கக்கூடிய பிழைகளைச் சுட்டிக்காட்டுவதையோ தாண்டி, தனியாகச் சரிபார்க்கக்கூடிய கணித ஆதாரங்களை உருவாக்க செயற்கை நுண்ணறிவு உதவுவதற்கான தெளிவான எடுத்துக்காட்டு இது. பாதுகாப்பு முக்கியமான மென்பொருள் கூறுகளைச் சரிபார்ப்பதற்குத் தேவையான முயற்சியை இது குறைக்கக்கூடும்.

கவனிக்க வேண்டியது: கூறப்பட்ட முன்கருத்துகளுக்கு உட்பட்ட குறிப்பிட்ட பண்புகளை மட்டுமே இந்த முடிவு உள்ளடக்குகிறது. முழு சிக்னல் செயலியோ அதன் ஒவ்வொரு பயன்பாட்டு அமைப்போ எதிர்காலப் பதிப்புகளோ தாக்குதலுக்கு உள்ளாகாது என்பதை இது நிரூபிக்கவில்லை. பணிக்காலம் என்பது ஆய்வாளர்கள் தெரிவித்த முடிவு; பொதுவான செயல்திறன் அளவுகோல் (benchmark) அல்ல.

தேதிகள்: ஆய்வு அறிவிப்பும் ஆதார வெளியீடும் 2026 நவம்பர் 10 அன்று நிகழ்ந்தன. நான்கு வாரப் பணி வெளியீட்டிற்கு முன் நடைபெற்றது.