AR ▾
SNAPE REP RT الصفحة الأولى ←
يتطورالعلوم والرياضيات27 أكتوبر، 12:00 ص UTC

Anthropic تنشر ورقة تزعم خوارزمية بزمن دون أسي لمسألة 3-SAT مع صياغة رسمية بلغة Lean 4

إذا صحت النتيجة فستدحض فرضية الزمن الأسي؛ والبديهيات المستخدمة موثقة في المستودع، ولم تُنشر بعد مراجعة مستقلة من خبراء.

اقرأ في Anthropic (GitHub) مشاركة

المصادر

المزيد عن العلوم والرياضيات
المزيد من Snape Reportالصفحة الأولى ←