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

Gemini দিয়ে Signal-এর প্রোটোকলের ফর্মাল ভেরিফিকেশন

মূল শিরোনাম: Formal Verification of Signal’s Protocol with Gemini

Google DeepMind-এর গবেষকরা AlphaProof Code নামের একটি নতুন এজেন্টিক ফ্রেমওয়ার্ক ব্যবহার করে AI এজেন্টদের পরিচালনা করেছেন, যাতে Signal প্রোটোকলের কোডের মূল নিরাপত্তা বৈশিষ্ট্যগুলো গাণিতিকভাবে প্রমাণ করা যায়। কী প্রমাণ করা হবে তা মানব বিশেষজ্ঞরা ঠিক করেছেন এবং নিরাপত্তা স্পেসিফিকেশন পর্যালোচনা করেছেন, আর AI এজেন্টরা Lean-এ প্রমাণগুলো সম্পন্ন করেছে। এজেন্টরা প্রমাণগুলো নিরীক্ষাও করেছে এবং যেসব জায়গায় মানুষের দ্বিতীয়বার দেখা দরকার সেগুলো চিহ্নিত করেছে।

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

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