فرق وكلاء نماذج لغوية لدى Google تكتشف برامج كمومية مثبتة في Lean وتخفض كلفة إجراء واحد 290 مرة
تفيد الورقة الأولية من Google DeepMind وGoogle Quantum AI بخفض في الكلفة متحقق منه آليًا بنحو 11 و8 و2.5 مرة في محاكاة الاندماج والكيمياء الضوئية واستقلاب الأدوية؛ وتستهدف البرامج حواسيب متحملة للأخطاء غير موجودة بعد.
لماذا يهم
لا يمكن اختبار الخوارزميات الكمومية الكبيرة على الحواسيب التقليدية أو الكمومية الحالية، لذا يتوقف البحث بالذكاء الاصطناعي المعتمد على الفحوص العددية عند حالات صغيرة. بنى المؤلفون مكتبة برامج كمومية في مساعد البراهين Lean، وتركوا فرقًا من وكلاء النماذج اللغوية تقترح البرامج، وتحقق مدقق مستقل من كل برهان على الصحة والكلفة مقابل مواصفة مجمدة. وتبادلت الفرق النتائج عبر ويكي ومؤتمرات افتراضية مجدولة. يبقى أن نرى هل تصمد الوفورات أمام مراجعة مستقلة وهل ستُتاح مكتبة Lean للآخرين.
حقائق رئيسية
- إجراء arcsin: خفض الكلفة 290 مرة
- بحث Grover المتوازي: تحسن يصل إلى 1.4 مرة عن المعايير السابقة
- محاكاة الاندماج والكيمياء الضوئية واستقلاب الأدوية: 11 و8 و2.5 مرة
- براهين الصحة والكلفة متحقق منها في Lean
- المؤلفون من Google DeepMind وGoogle Quantum AI
- arXiv 2611.09822، قُدّمت في 6 نوفمبر 2026