AI رپورٹس · Anthropic · 2026-10-22 · بلاگ / تبصرہ
LLMs رسمی سافٹ ویئر تصدیق کو بہت بڑے پیمانے پر ممکن بنا رہے ہیں
اصل عنوان: LLMs are making formal software verification feasible at a much larger scale
Claude نے Theorem کے اشتراک سے 100 سے زائد حقیقی دنیا کی اوپن سورس لائبریریوں میں RISC-V اسمبلی سطح پر سیکیورٹی خصوصیات کو باضابطہ طور پر ثابت کیا۔ ثبوت لکھتے وقت اس نے ایسی خامیاں دریافت کیں جو وسیع جانچ کے باوجود برسوں سے نظر نہیں آئی تھیں۔ مصنفین کا مؤقف ہے کہ LLMs اب بڑے پیمانے پر باضابطہ ثبوت تیار کر سکتے ہیں، جس سے formal verification محفوظ سافٹ ویئر کی تیاری کا ایک عملی حصہ بن جاتی ہے۔