AI रिपोर्ट्स · Anthropic · 2026-10-22 · ब्लॉग / टिप्पणी
LLM बहुत बड़े पैमाने पर औपचारिक सॉफ़्टवेयर सत्यापन को संभव बना रहे हैं
मूल शीर्षक: LLMs are making formal software verification feasible at a much larger scale
Theorem के साथ एक सहयोग में, Claude ने 100 से अधिक वास्तविक दुनिया की ओपन-सोर्स लाइब्रेरियों में RISC-V असेंबली स्तर पर सुरक्षा गुणों को औपचारिक रूप से सिद्ध किया। प्रमाण लिखते समय, उसने ऐसे बग खोजे जो व्यापक परीक्षण के बावजूद वर्षों से अनदेखे रह गए थे। लेखकों का तर्क है कि LLMs अब बड़े पैमाने पर औपचारिक प्रमाण तैयार कर सकते हैं, जिससे औपचारिक सत्यापन सुरक्षित सॉफ़्टवेयर विकास का एक व्यावहारिक हिस्सा बन जाता है।