تدعي شركة OpenAI أن نظام الذكاء الاصطناعي الخاص بها قد دحض فرضية الوقت الأسي في اختبار 3-SAT. المطالبة قيد المراجعة؛ إن الحد الذي تم التحقق منه من خلال Lean أضعف من النتيجة الأكثر وضوحًا للورقة ولا يثبت هجومًا عمليًا على Bitcoin.
تدعي شركة OpenAI أن نظام الذكاء الاصطناعي الخاص بها قد دحض فرضية الوقت الأسي في اختبار 3-SAT. المطالبة قيد المراجعة؛ إن الحد الذي تم التحقق منه من خلال Lean أضعف من النتيجة الأكثر وضوحًا للورقة ولا يثبت هجومًا عمليًا على Bitcoin.
المزيد على Radar
هل تريد رؤية كل التقارير لحظة بلحظة؟
مئات المصادر حول العالم، مترجمة إلى لغتك، مع تنبيهات لما يهمك.
سجّل مجانًا لديك حساب؟ تسجيل الدخول