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