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 search سے لے کر RSA-2048 اور P-256 پر کوانٹم حملوں تک، نو AI کے ذریعے رسمی بنائے گئے الگورتھمز پر اس کا مظاہرہ کیا گیا ہے، اور مشترکہ فریم ورک کا آڈٹ ہو جانے کے بعد ہر الگورتھم کے درآمد شدہ سورس کوڈ کے 1% سے بھی کم حصے کا انسانی سطح پر بیان کی جانچ درکار ہوتی ہے۔

اصل تحریر پڑھیں ↗

تمام آئٹمز →