এআই রিপোর্ট · Anthropic · 2026-10-22 · ব্লগ / মন্তব্য

LLM অনেক বড় পরিসরে আনুষ্ঠানিক সফটওয়্যার যাচাইকে সম্ভব করে তুলছে

মূল শিরোনাম: LLMs are making formal software verification feasible at a much larger scale

Theorem-এর সঙ্গে একটি সহযোগিতায় Claude ১০০টিরও বেশি বাস্তব-জগতের ওপেন-সোর্স লাইব্রেরি জুড়ে RISC-V অ্যাসেম্বলি স্তরে নিরাপত্তা বৈশিষ্ট্যগুলো আনুষ্ঠানিকভাবে প্রমাণ করেছে। প্রমাণ লেখার সময় এটি এমন বাগ খুঁজে পেয়েছে যা ব্যাপক পরীক্ষা সত্ত্বেও বছরের পর বছর ধরা পড়েনি। লেখকদের যুক্তি, LLM এখন বড় পরিসরে আনুষ্ঠানিক প্রমাণ তৈরি করতে পারে, ফলে ফর্মাল ভেরিফিকেশন নিরাপদ সফটওয়্যার উন্নয়নের একটি বাস্তবসম্মত অংশ হয়ে উঠছে।

মূল লেখা পড়ুন ↗

সব এআই রিপোর্ট →