الذكاء الاصطناعي ومشكلات العالم الصعبة · فيزياء الكم والحوسبة الكمومية · arXiv · 2026-10-23

Lean-QuantumAlg: إطار عمل لوكلاء الذكاء الاصطناعي لإنتاج خوارزميات كمّية يمكن للبشر الوثوق بها

العنوان الأصلي: Lean-QuantumAlg: A Framework for AI Agents to Produce Quantum Algorithms that Humans Can Trust

يمكن لوكلاء الذكاء الاصطناعي الآن بناء خوارزميات وبراهين كمّية، لكنّ البراهين المتحقَّق منها آليًا وحدها لا تضمن حلّ المسألة المقصودة أو تطابق ادعاءات الموارد مع الحساب الذي جرى التحقق منه. يقدّم المؤلفون Lean-QuantumAlg، وهو إطار عمل بلغة Lean 4 يربط عقده الصحةَ واحتمالَ النجاح واستعادةَ الحالة المستعارة وحدودَ الموارد بتنفيذ واحد. وقد جرى عرضه على تسع خوارزميات صاغها الذكاء الاصطناعي رسميًا، من بحث Grover إلى الهجمات الكمّية على RSA-2048 وP-256، ويتطلب مراجعة بشرية على مستوى العبارات لأقل من 1% من الشيفرة المصدرية المستوردة لكل خوارزمية بعد تدقيق الإطار المشترك.

اقرأ المصدر الأصلي ↗

جميع العناصر →