AI এবং বিশ্বের কঠিন সমস্যাগুলো · কোয়ান্টাম পদার্থবিজ্ঞান ও কোয়ান্টাম কম্পিউটিং · arXiv · 2026-10-23

Lean-QuantumAlg: AI এজেন্টদের জন্য এমন কোয়ান্টাম অ্যালগরিদম তৈরির কাঠামো, যাতে মানুষ আস্থা রাখতে পারে

মূল শিরোনাম: Lean-QuantumAlg: A Framework for AI Agents to Produce Quantum Algorithms that Humans Can Trust

AI এজেন্টরা এখন কোয়ান্টাম অ্যালগরিদম ও প্রমাণ তৈরি করতে পারে, কিন্তু শুধু মেশিন-যাচাইকৃত প্রমাণ নিশ্চিত করে না যে উদ্দিষ্ট সমস্যাটি সমাধান হয়েছে বা সম্পদ-সংক্রান্ত দাবি যাচাইকৃত গণনার সঙ্গে মেলে। লেখকেরা Lean-QuantumAlg উপস্থাপন করেছেন, এটি একটি Lean 4 ফ্রেমওয়ার্ক, যার চুক্তি শুদ্ধতা, সাফল্যের সম্ভাবনা, ধার করা অবস্থার পুনরুদ্ধার এবং সম্পদের সীমাকে একটিমাত্র এক্সিকিউশনের সঙ্গে বেঁধে দেয়। Grover অনুসন্ধান থেকে শুরু করে RSA-2048 ও P-256-এর বিরুদ্ধে কোয়ান্টাম আক্রমণ পর্যন্ত AI-দ্বারা ফর্মালাইজ করা নয়টি অ্যালগরিদমে এটি প্রদর্শিত হয়েছে। একবার শেয়ার্ড ফ্রেমওয়ার্ক নিরীক্ষিত হলে প্রতিটি অ্যালগরিদমের আমদানি করা সোর্স কোডের ১%-এরও কম অংশে মানুষের বিবৃতি-স্তরের পর্যালোচনা প্রয়োজন হয়।

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

সব আইটেম →