قائمة طعام

أقسام التشفير

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

الثلاثاء 10 نوفمبر 2026 · 14:08 بتوقيت شرق الولايات المتحدة · قراءة لمدة 3 دقائق

في منظمة العفو الدولية

يشارك

تقول شركة ناشئة لم يتجاوز عمرها شهرين إنها تمكنت من حل مسألة الحوسبة الكمومية التي حيرت الباحثين لما يقرب من عقدين من الزمن.

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

والأمر الأكثر إثارة للدهشة هو رد فعل أحد الأشخاص الذين طرحوا المشكلة. يقول سكوت آرونسون إنه لا يتبع الدليل بشكل كامل. وهو يؤمن بذلك على أية حال.

ما أثبته PSI بالفعل

يدور تخمين آرونسون-أمباينيس حول سؤال أساسي: متى تستطيع أجهزة الكمبيوتر الكمومية التغلب فعليًا على أجهزة الكمبيوتر التقليدية من حيث السرعة؟ تم طرحه لأول مرة في عام 2008 وأعطي بيانًا رسميًا في عام 2014.

تقول هذه الفرضية، بعد تجريدها من جوهرها الرياضي، أن كل كثيرة حدود ذات درجة منخفضة في المكعب البولياني لها متغير مؤثر.

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

نشرت PSI عملها في شكل ورقة بحثية مكونة من 13 صفحة وإضفاء الطابع الرسمي الكامل على Lean، وكلاهما مستضاف على GitHub في إطار منظمة الذكاء المادي الفائق.

لماذا يقوم Lean برفع الأحمال الثقيلة؟

Lean هي لغة برمجة مصممة للرياضيات. بدلًا من الاعتماد على حكم بشري لقراءة كل خطوة والتحقق منها، تكتب الدليل على شكل كود ويتحقق برنامج صغير موثوق به يسمى kernel من أن كل خطوة تتبع منطقيًا من الأخيرة.

الذكاء الاصطناعي والتكنولوجيا والأسواق التي يتحركون فيها - في إحاطة يومية واحدة.

يوميًا. حر. انضم إلى أكثر من 34000 قارئ في مجال العملات المشفرة والتمويل والسياسة.

نحن نحترم خصوصيتك. إلغاء الاشتراك في أي وقت.

المقياس هنا كبير. يمتد إضفاء الطابع الرسمي على PSI إلى 9454 سطرًا و648 نظرية، دون إضافة بديهيات أو عناصر نائبة.

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

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

نتيجة سلبية، ولماذا هذا مفيد

هذه النتيجة لا تفتح خوارزمية كمومية أسرع. يغلق الباب.

وصفها Turturean لـ TechCrunch من الناحية العملية:

"إنها نتيجة سلبية تتيح للناس أن يعرفوا، حسنًا، أننا لم نعد ننظر إلى هناك."

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

من هو PSI، على أي حال

PSI هي شركة منفعة عامة مقرها في كامبريدج، ماساتشوستس. تم إطلاقه في سبتمبر 2026 بتمويل أولي بقيمة 58 مليون دولار بقيادة شركة Breakthrough Energy Ventures.

هذا الجدول الزمني ملحوظ. قامت الشركة التي رفعت جولتها الأولى في سبتمبر بطرح نتيجة لمشكلة مفتوحة عمرها ما يقرب من عقدين من الزمن بحلول أوائل نوفمبر.

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

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

الأخبار عما تحمله

اتبع الأسهم الخاصة بك والتشفير. اقرأ الأخبار المتعلقة بهم من مئات الناشرين في Pro.

سياسة الخصوصية