أعلنت Physical Superintelligence (PSI) في 6 نوفمبر 2026 أن نظام أبحاث ذكاء اصطناعي داخليًا يعمل بنسخ من نموذج Anthropic غير منشور وجد إثباتًا لحدسية Aaronson-Ambainis، وهي مسألة في الحوسبة الكمية مفتوحة منذ 2008. وأنتج النظام إثباتًا كاملًا خلال اليوم الثالث من تشغيله على بنية PSI التحتية، وقبله Lean — وهو مساعد إثبات يتحقق آليًا من كل خطوة في حجة رياضية. ثم وجّهت PSI النظام إلى مسائل مفتوحة ذات صلة، وحسّنت النتيجة مرتين، وقبل Lean النسخة النهائية. والمخطوطة والصياغة الرسمية في Lean 4 منشورتان.

تسأل الحدسية متى تستطيع الحواسيب الكمية أن تكون أسرع أسيًا من الآلات الكلاسيكية. وإذا صمد إثبات PSI، يستطيع حاسوب عادي تقدير احتمال إجابة خوارزمية كمية بـ«نعم»، على معظم المدخلات وضمن هامش خطأ ثابت، دون قراءات أكثر أسيًا للمدخلات — أي أن التسريعات الكمية الأسية تتطلب أنماطًا أو بنية خاصة في المسألة، وهو حد كان مشتبهًا به منذ زمن لكنه لم يُثبت أبدًا. وتقول PSI إن إثباتها يتبع خطة وضعها Shachar Lovett وJiapeng Zhang، اللذان تركا متباينة أساسية دون إثبات؛ وتثبت الورقة الجديدة متباينة بديلة وتعطي حدًا صريحًا.

ما يجعل الادعاء أصعب في الرفض من عنوان «الذكاء الاصطناعي حلّ الرياضيات» المعتاد هو التحقق. يقول مستودع PSI إن التطوير الرسمي لا يحتوي على عناصر إثبات نائبة أو بديهيات مضافة، وأُعيد تشغيل إعلاناته عبر نواة Lean وlean4lean، وهو تنفيذ مستقل لمدقق أنواع Lean. وفي تشغيل معزول، قبل مقارن يستخدم نواتي nanoda وLean النظريات الأربع النهائية، وفي جهاز ثانٍ قبل حلًا صغيرًا واحدًا صحيحًا ورفض أربعة حلول خاطئة متعمدة. وقد بنى David Turturean، وهو عضو في الطاقم الفني لـPSI، نظام البحث، وحدّد نطاق المسألة، ووجّه النموذج لتغليف مسودة أولى، وراجع تلك المسودة وهو المسؤول عن صحة الورقة؛ وراجع Jim Halverson، مستشار PSI، الإثبات، ويكشف المستودع أن نماذج الذكاء الاصطناعي أنتجت العبارات الرياضية والمسودة الأولى والصياغة الرسمية في Lean.

التحفظات حقيقية وتذكرها PSI نفسها. فالنتيجة ليست محكّمة: فالإثبات لم يجتز مراجعة المجلات بعد، وما زال على الخبراء البشر تأكيد أن الصياغة الرسمية المشفرة في Lean تطابق الحدسية كما قصدها Aaronson وAmbainis — فالورقة المقروءة بشريًا ليست نفسها متحققًا منها آليًا. وأربعة باحثين من Stanford حسموا حالة خاصة في أغسطس 2026 يقرؤون الإثبات ويكتبون نسخة أقصر للخبراء. فتعامل مع هذا كادعاء شركة مع قطعة أثرية قابلة للتحقق، لا كحكم مجلة — لكنه ادعاء لافت: فهو يأتي بعد إصدار OpenAI لـ722 مخطوطة رياضيات كتبها الذكاء الاصطناعي في أكتوبر، وهو أقوى دليل حتى الآن على أن أنظمة الذكاء الاصطناعي تنتقل من مساعدة الإثباتات إلى إنتاجها.

المصادر