AI এবং বিশ্বের কঠিন সমস্যাগুলো · তাত্ত্বিক কম্পিউটার বিজ্ঞান · Anthropic · 2026-10-22

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

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

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

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

সব আইটেম →