Anthropic تعلن أن Claude دحض فرضية الزمن الأُسّي بعد ساعات من OpenAI
أنثروبيك قالت إن نموذج Claude الداخلي وجد خوارزمية تحل 3-SAT في زمن دون أُسّي، ونشرت الورقة باسم Claude على GitHub وLean.
أعلنت شركة Anthropic أن نموذجها الداخلي Claude توصّل إلى خوارزمية تدحض فرضية الزمن الأُسّي (ETH)، وذلك بعد نحو 6 ساعات من إعلان OpenAI نتائج مشابهة تتعلق بمسائل صعبة في الرياضيات وعلوم الحاسوب. وقالت الشركتان إن الاكتشافين جرى التوصّل إليهما في 16 أكتوبر/تشرين الأول، حسبما أفاد موقع aitimes.com.
وقال الباحث في Anthropic، Levent Alpöge، عبر منصة X، إن نموذج Claude البحثي الداخلي وجد الخوارزمية الأساسية من دون تدخل بشري في 16 أكتوبر/تشرين الأول. وأضافت الشركة أن حجم المخرجات التي أنتجها النموذج بلغ 14 مليون وحدة رمزية (token).
ونشرت Anthropic ورقة بحثية بعنوان Subexponential-time algorithms for 3-SAT مع شيفرة التحقق في Lean على GitHub، وجاء اسم مؤلف الورقة مسجّلًا بصيغة Claude (Anthropic) بدلًا من اسم شخص.
وتقترح الخوارزمية حل مسألة 3-SAT في زمن دون أُسّي، وهو ما يتعارض مع الفرضية التي تقوم عليها ETH. لكن النتيجة نظرية ولا تعني أن البرامج الفعلية ستعمل بسرعة أكبر فورًا.
من جهتها، قالت OpenAI إن نموذجها وجد في 16 أكتوبر/تشرين الأول برهانًا يدحض ETH، وإنه جرى التحقق منه في Lean في اليوم التالي. ووصلت الشركتان إلى استنتاجين متشابهين بصورة مستقلة في اليوم نفسه وبمقاربات تفصيلية مختلفة.
سياق أوسع
طُرحت فرضية ETH في 1999 كأساس رئيسي لتحليل حدود الخوارزميات في علوم الحاسوب، واستُخدمت في نظرية المخططات وعلم الأحياء الحاسوبي وقواعد البيانات. ولم يجرِ بعد التحقق النهائي من ادعاء أي من الشركتين من قبل الأوساط الأكاديمية.
أسئلة سريعة
ما هي فرضية الزمن الأُسّي (ETH)؟
فرضية طُرحت في 1999 وتُستخدم أساسًا لتحليل حدود الخوارزميات في علوم الحاسوب، ومنها مسألة 3-SAT.
هل ستسرّع النتيجة البرامج الحالية؟
لا، النتيجة نظرية ولا تعني أن البرامج الفعلية ستعمل بسرعة أكبر فورًا.
هل تحققت الأوساط الأكاديمية من النتيجتين؟
لم يجرِ بعد التحقق النهائي من ادعاء Anthropic أو OpenAI من قبل الأوساط الأكاديمية.