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