AI और दुनिया की कठिन समस्याएँ · सैद्धांतिक कंप्यूटर विज्ञान · Anthropic · 2026-10-22

LLM बहुत बड़े पैमाने पर औपचारिक सॉफ़्टवेयर सत्यापन को संभव बना रहे हैं

मूल शीर्षक: LLMs are making formal software verification feasible at a much larger scale

Claude ने RISC-V असेंबली स्तर पर काम करते हुए 123 ओपन-सोर्स लाइब्रेरी के कंपाइल किए गए कोड में सुरक्षा गुणों को औपचारिक रूप से सिद्ध किया। प्रमाण लिखते समय, इसने ऐसे बग भी खोजे जो व्यापक परीक्षण के बावजूद वर्षों से पकड़ में नहीं आए थे।

मूल लेख पढ़ें ↗

सभी आइटम →