أنتج نظام بحثي طورته شركة Physical Superintelligence الناشئة، باستخدام أمثلة لنموذج أنثروبي غير عام، دليلاً كاملاً على حدسية آرونسون-أمباينيس، وهي مشكلة رياضية ظلت مفتوحة منذ عام 2008 وتثير مخاوف عندما تتمكن أجهزة الكمبيوتر الكمومية من تحقيق مزايا هائلة على الآلات الكلاسيكية. تم قبول الدليل من قبل مساعد Leanproof، وفقًا لورقة نشرتها الشركة علنًا.

تم وصف النتيجة، التي تم الإبلاغ عنها لأول مرة بواسطة The Quantum Insider وتم تغطيتها بواسطة Business Insider، من قبل باحثين مستقلين باعتبارها علامة بارزة في الرياضيات المدعومة بالذكاء الاصطناعي - وواحدة من أكثر النتائج أهمية حتى الآن والتي تُنسب إلى النموذج الحدودي الذي لم يتم إصداره للعامة مطلقًا. لمزيد من السياق حول هذه القصة، راجع تغطية صناعة الذكاء الاصطناعي.

ما يقوله التخمين

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

لدراسة السؤال، يستخدم الباحثون نموذج الاستعلام، الذي يحسب عدد المرات التي تصل فيها الخوارزمية إلى مدخلاتها بدلاً من كل عملية تقوم بها. تقرأ الخوارزمية الكلاسيكية بتًا واحدًا لكل استعلام، بينما يمكن للاستعلام الكمي أن يعمل على تراكب العديد من مواضع الإدخال في وقت واحد. توقع آرونسون وأمبانيس أن كل كثيرة حدود ذات درجة منخفضة - وهي الكائن الرياضي الذي يصف احتمالية مخرجات الخوارزمية الكمومية بعد عدد معين من الاستعلامات - يجب أن يكون لها متغير مؤثر للغاية.

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

كيف تم العثور على الدليل

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

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

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

الرقابة البشرية والحدود التي تم التحقق منها

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

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

رد فعل الخبراء

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

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

ماذا يعني بالنسبة للحوسبة الكمومية

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

المخطوطة وإضفاء الطابع الرسمي على Lean 4 الخاصة بها متاحة للعامة على GitHub، حيث يمكن للمجتمع الآن محاولة التحقق من التطابق بين البيان الرسمي والتخمين الأصلي - وهي الخطوة المتبقية التي تفصل بين الدليل الذي تم فحصه آليًا والدليل المعتمد بالكامل.

بالنسبة إلى Anthropic، تقدم الحلقة معاينة للإمكانيات التي لم يتم إصدارها لأي واجهة برمجة تطبيقات: يظل النموذج الذي أنتج البيانات الرياضية غير متاح للعامة، ولم تعلن الشركة متى سيتم شحنه أو ما إذا كان سيتم شحنه.

---

ابق على اطلاع بأخبار الذكاء الاصطناعي

آخر أخبار وتحليلات وإنجازات الذكاء الاصطناعي — في مكان واحد.

اقرأ المزيد من أخبار الذكاء الاصطناعي →