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