AI اور دنیا کے مشکل مسائل · نظریاتی کمپیوٹر سائنس · Anthropic · 2026-10-22

LLMs رسمی سافٹ ویئر تصدیق کو بہت بڑے پیمانے پر ممکن بنا رہے ہیں

اصل عنوان: LLMs are making formal software verification feasible at a much larger scale

Claude نے 123 اوپن سورس لائبریریوں کے کمپائل شدہ کوڈ میں سیکیورٹی خصوصیات کو باضابطہ طور پر ثابت کیا، اور یہ کام RISC-V اسمبلی کی سطح پر کیا گیا۔ ثبوت لکھتے وقت اس نے ایسی خامیاں بھی دریافت کیں جو وسیع جانچ کے باوجود برسوں سے نظر میں نہیں آئی تھیں۔

اصل تحریر پڑھیں ↗

تمام آئٹمز →