১২৩টি ওপেন সোর্স লাইব্রেরির নিরাপত্তা গাণিতিকভাবে যাচাই করল Claude

এআই প্রতিষ্ঠান Anthropic জানিয়েছে, তাদের এআই মডেল Claude ব্যবহার করে ১২৩টি ওপেন সোর্স সফটওয়্যার লাইব্রেরির নিরাপত্তা বৈশিষ্ট্য গাণিতিকভাবে প্রমাণ (ফরমাল ভেরিফিকেশন) করা হয়েছে। কাজটি হয়েছে Theorem নামের একটি প্রতিষ্ঠানের সঙ্গে মিলে।

এই প্রক্রিয়ায় Claude প্রায় ১৮ কোটি লাইনের প্রমাণ-কোড লিখেছে, যা ২৩৯টি পরীক্ষার প্রবেশপথ জুড়ে বিস্তৃত। এতে শত শত বাগ ধরা পড়েছে, যার কিছু বহু বছর ধরে অজানা ছিল এবং বিপুলসংখ্যক স্বয়ংক্রিয় পরীক্ষাতেও ধরা পড়েনি।

কেন গুরুত্বপূর্ণ

ফরমাল ভেরিফিকেশন হলো গাণিতিকভাবে প্রমাণ করা যে একটি সফটওয়্যার নির্দিষ্ট নিয়ম কখনো ভাঙবে না। এটি অত্যন্ত নির্ভরযোগ্য, কিন্তু এত সময়সাপেক্ষ যে সাধারণত শুধু বিমান বা চিকিৎসা যন্ত্রের মতো গুরুত্বপূর্ণ সফটওয়্যারে ব্যবহার হয়। এআই দিয়ে এটি বড় পরিসরে করা গেলে ইন্টারনেটের ভিত্তি যেসব ওপেন সোর্স লাইব্রেরি, সেগুলো অনেক বেশি নিরাপদ করা সম্ভব।

একই সপ্তাহে PHP-তে গুরুতর ত্রুটি ধরা পড়ার ঘটনা মনে করিয়ে দিয়েছে, এআই যেমন ত্রুটি খুঁজতে পারে, তেমনি তা সারানো ও প্রতিরোধেও কাজে লাগতে পারে।