تحقيق حل تخمين مهم في الحوسبة الكمومية خلال ثلاثة أيام، ينهي 18 عامًا من عدم اليقين

تمكن بحث رياضي حول حدود الحوسبة الكمومية، بعد 18 عامًا من الدراسة، من الحصول على حل محتمل في غضون ثلاثة أيام فقط. أعلنت شركة PSI للأبحاث الفيزيائية أنها قد حلت تخمين Aaronson-Ambainis الذي طال انتظاره، وقد يوفر هذا الإنجاز رؤى جديدة حول متى يمكن لأجهزة الحوسبة الكمومية أن تتفوق على الحواسيب التقليدية. ذكرت الشركة أن نظامها قد أكمل إثبات تخمين Aaronson-Ambainis في ثلاثة أيام. تم طرح هذه المسألة لأول مرة في عام 2008، وتتعلق بالشروط التي يمكن أن تحقق فيها الحواسيب الكمومية ميزة سرعة أسية مقارنة بالحواسيب التقليدية.

نظام البحث الذي حل التخمين

أفادت PSI أن نظام البحث الخاص بها استخدم نموذجًا غير علني من Anthropic، يعمل على البنية التحتية الخاصة بالشركة. قام النظام بإنشاء إثبات رياضي، وتم قبوله من قبل برنامج المساعدة في إثبات صحة البرهان الرياضي الرسمي Lean. وأشارت الشركة إلى أن النظام قام بعد ذلك بإجراء تحسينين على هذا الإثبات، وتم قبول النسخة النهائية أيضًا من قبل Lean. ومع ذلك، لم تخضع النتائج لمراجعة أكاديمية شاملة.

قام باحثون من جامعة ستانفورد بمراجعة بعض جوانب هذا العمل وتقديم ملاحظاتهم، لكن المراجعة الأوسع ستكون حاسمة لتحديد ما إذا كان الإثبات قد حل التخمين الأصلي. يتناول تخمين Aaronson-Ambainis مشكلة كمومية قائمة منذ فترة طويلة، حيث يفسر التخمين كمية المعلومات التي تحتاجها الحواسيب التقليدية لمحاكاة بعض الخوارزميات الكمومية. بشكل أكثر تحديدًا، يركز على ما إذا كانت الخوارزميات الكمومية ذات البنية الرياضية المحددة يمكن تقريبها بشكل فعال بواسطة الحواسيب التقليدية. إذا ثبت صحة هذا التخمين، فإن الحواسيب التقليدية ستحتاج فقط إلى إجراء حسابات إضافية متعددة الحدود عند محاكاة مدخلات مختارة عشوائيًا.

مزايا وقيود الحوسبة الكمومية

هذا التمييز مهم جدًا، لأن النمو المتعدد الحدود والنمو الأسّي ينتجان متطلبات حسابية مختلفة تمامًا مع زيادة حجم المشكلة. يمكن أن يساعد ذلك في تفسير لماذا قد لا تقدم بعض الخوارزميات الكمومية ميزة أسية مقارنة بالحواسيب التقليدية، حتى لو كانت الأجهزة الكمومية قادرة على معالجة المعلومات بطرق مختلفة تمامًا.

لا تعني هذه النتيجة أن الحواسيب الكمومية لا تتمتع بميزة على الآلات التقليدية. الخوارزميات المصممة لمشاكل معينة، بما في ذلك خوارزمية Shor المستخدمة في تحليل الأعداد الكبيرة، لم يتم استبعادها من هذا التخمين. على العكس، يستهدف هذا التخمين فئة معينة من الحوسبة الكمومية، ويستكشف الظروف التي يمكن أن يتم فيها إعادة إنتاج ميزتها الظاهرة بطريقة تقليدية. ذكرت PSI أن David Turturean قد قاد هذا العمل، حيث قام بتطوير نظام البحث، وتعريف المشكلة، وإدارة العملية بأكملها. كما قام بمراجعة المسودة النهائية، وكان مسؤولًا عن صحة الورقة.

ذكرت الشركة أن Jim Halverson قد راجع الإثبات، وقدم Phiala Shanahan ملاحظات حول رسميته في Lean. كما شارك باحثون من جامعة ستانفورد، بما في ذلك Guy Blanc وJordan Docter وCarmen Strassle وLi-Yang Tan، في مراجعة هذه النتائج. كانت هذه المجموعة قد أثبتت سابقًا حالة خاصة من هذا التخمين في أغسطس 2026، وهي الآن تعد ملخصًا شاملًا لإثبات PSI لبقية الخبراء.

إن مشاركتهم ذات دلالة كبيرة، لأن التحقق الرسمي والمراجعة الرياضية المستقلة يخدمان أغراضًا مختلفة. يمكن لـ Lean التحقق مما إذا كان الإثبات الرسمي يستنتج منطقيًا من الفرضيات المذكورة، لكن الباحثين لا يزال يتعين عليهم تقييم ما إذا كانت هذه التصريحات الرسمية تلتقط بدقة التخمين الأصلي.

أطلقت PSI رسميًا في سبتمبر 2026، ووصفت نفسها بأنها شركة أبحاث فيزيائية تهدف إلى بناء أنظمة آلية لتعزيز الاكتشافات العلمية. تمثل إعلانها علامة فارقة محتملة، لكن هذا البيان يحتاج إلى مراجعة أوسع من قبل الخبراء ليعتبر نتيجة مؤكدة.

معنى وتحديات حل التخمين

يمثل إنجاز PSI تقدمًا مهمًا في مجال الحوسبة الكمومية، خاصة في فهم القدرات الحسابية للخوارزميات الكمومية. ومع ذلك، لا تزال هذه النتيجة بحاجة إلى مراجعة أكاديمية شاملة لتحديد فعاليتها وموثوقيتها. يكمن إمكان الحوسبة الكمومية في قدرتها على حل بعض المشكلات بسرعة تفوق الحواسيب التقليدية، لكن حل التخمين هذا يذكرنا بأن ليس كل الخوارزميات الكمومية يمكن أن تقدم ميزة في جميع الحالات. ستحتاج الأبحاث المستقبلية إلى استكشاف التطبيقات المحددة لهذه الخوارزميات وقيودها بشكل أكبر، لإطلاق العنان الكامل لإمكانات الحوسبة الكمومية.