OpenAI وAnthropic يدحضان فرضية الزمن الأسي ETH بخوارزمية 2^o(n) لمسألة 3-SAT
بقلم علي المنتصر — محلل ومحرر تقني أول
أعلنت OpenAI وAnthropic عن نماذج ذكاء اصطناعي اكتشفت خوارزمية حتمية تحل مسألة 3-SAT في زمن 2^o(n) وتدحض فرضية الزمن الأسي ETH التي صمدت منذ 1999. النتيجة نظرية بحتة ولا تعني اختراق التشفير الحالي، لكنها تفتح نقاشاً حول إمكانية P=NP وتستدعي مراجعة أوراق علمية عمرها عقد كامل.
الموجز الإحصائي السريع
في 27 أكتوبر 2026، أعلنت OpenAI وAnthropic عن نماذج ذكاء اصطناعي اكتشفت خوارزمية حتمية تحل مسألة 3-SAT في زمن 2^o(n) وتدحض فرضية الزمن الأسي ETH. نُشرت النتيجة على GitHub مع توثيق Lean 4 كامل وتحقق مستقل بنواة nanoda، وتستدعي مراجعة أوراق علمية عمرها أكثر من عقد.
📊 بطاقة البيانات والمواصفات التقنية الرسمية
| المحور التقني | البيانات الرسمية المؤكدة |
|---|---|
| 💰 الأسعار وتكلفة الاستخدام | النتيجة البحثية مجانية بترخيص Apache 2.0 على GitHub. لا توجد أسعار API مرتبطة بهذا الإصدار البحثي. النماذج التجارية المكافئة: Claude Opus 5.5 وGPT-5 من OpenAI بأسعار API قياسية غير معلنة في هذا التقرير. |
| 🌐 المنصات والتوفر الفوري | GitHub (anthropics/formal-math/tree/main/eth) — الورقة بصيغة PDF والتوثيق بصيغة Lean 4. متاح للتحقق عبر elan وLean v4.33.1 وMathlib v4.33.1. |
| ⚡ الأداء ومؤشرات السرعة | زمن الحل: 2^o(n) لمسألة 3-SAT، و2^O(n log log n / √log n) لمسألة #3-SAT. زمن بناء Lean: ~8 دقائق على 24 vCPU بذاكرة 7 غيغابايت. إعادة اشتقاق Claude Opus 5.5: O(2^δn) لكل δ>0. |
| 🛡️ الأمان ومقاومة الاختراق | لا تأثير على أنظمة التشفير الحالية وفق تحقق فريق OpenAI الذي أكده Ryan Williams. النتيجة نظرية بحتة ولا تنطبق على أحجام المفاتيح العملية. |
| 🧠 سياق الذاكرة (Context Window) | غير منطبق — النتيجة خوارزمية رياضية وليست نموذج لغوي. النموذج المكتشف هو Claude Opus 5.5 البحثي الداخلي. |
| 🌍 دعم اللغة العربية والمنطقة | الورقة والتوثيق بالإنجليزية على GitHub. لا توجد نسخة عربية رسمية. المحتوى متاح للباحثين العرب عبر المستودع المفتوح. |
تفاصيل الإعلان والميزات التقنية الجديدة
الخوارزمية الجديدة تحل مسألة 3-SAT — وهي مسألة منطقية أساسية في نظرية التعقيد — بزمن 2^o(n) بدلاً من الحد الأسي 2^Ω(n) الذي افترضته فرضية ETH منذ 1999. والأهم أن الخوارزمية تحل المسألة الأصعب #3-SAT (عدّ الإسنادات المحققة) بزمن 2^O(n log log n / √log n). الفكرة الأساسية تعتمد على شبكات الموترات (tensor networks) على الرسوم البيانية الكاملة K_K مع λ بت لكل حافة، حيث يُثبت أن e(9K^16) ≤ 0.9·e(K) + O(1/K)، ثم تُرتَّب العقد على شبكة وتُدمج الصفوف أو الأعمدة حسب الأرخص، وتُجمَّع في K فئة متوازنة. هذا البناء يقلل التعقيد تدريجياً حتى يصل إلى ما دون الأسي.
التوثيق الرسمي على GitHub يتضمن ملف MainResults.lean الذي يعلن صراحة أن ETH خاطئة (ETHIsFalse) ويحتوي على نظرية الورقة الأولى (MainTheorem). الملف لا يحتوي على براهين بل يستورد Mathlib فقط، ويُترك قصيراً ليتمكن القارئ من التحقق منه يدوياً. البراهين الفعلية موجودة في proof/PaperIndex.lean الذي يربط كل عبارة مرقمة في الورقة بنظيرها في Lean. التحقق الكامل يجري عبر سكربت comparator-check.sh الذي يقارن العبارات مع Challenge.lean ويعيد فحص البراهين بنواة nanoda المستقلة.
بحسب Ryan Williams من MIT، فإن أجزاء من برهان OpenAI قد تكون روتينية، لكن هناك جزئان أو ثلاثة "تبدو فضائية" وتستدعي تعاون المجتمع بأكمله. وأكد أن النتيجة لا تعني اختراق التشفير الحالي، وأن فريق OpenAI تحقق من ذلك وكان واثقاً بشكل معقول.
المقارنة المعيارية والأداء التنافسي
على مستوى النتائج، تقدم OpenAI حلولاً لثلاث مسائل رياضية بينها دحض ETH، بينما قدمت Anthropic دحضها الخاص بعد ساعات عبر Claude Opus 5.5. خوارزمية Anthropic تعيد اشتقاق نتيجة أضعف: O(2^δn) لكل δ>0، وليس الحدود الأدق المذكورة في الورقة الأصلية. هذا يعني أن النتيجتين متوافقتان في الاستنتاج (ETH خاطئة) لكن مختلفتان في القوة. من ناحية التحقق الشكلي، توفر Anthropic توثيقاً كاملاً بـ Lean 4 مع نواة تحقق مزدوجة (Lean kernel + nanoda)، بينما اعتمدت OpenAI على نشر على GitHub ثم تشكيل مجموعة عمل بقيادة Williams وRussell Impagliazzo وRamamohan Paturi. هذا التباين في المنهجية يعكس مرحلة انتقالية في كيفية تعامل المختبرات مع الاكتشافات الرياضية المولدة بالذكاء الاصطناعي.
ماذا يعني هذا للمطور والمستخدم العربي؟ (The Localization Edge)
بالنسبة للمطور العربي، النتيجة لا تغير مباشرة من كفاءة التوكنز أو تكلفة التطوير، لكنها تفتح باباً لفهم أعمق لنظرية التعقيد التي تحكم اختيار الخوارزميات في التطبيقات العملية. المستودع مفتوح بترخيص Apache 2.0، ويمكن للباحثين العرب استنساخه والتحقق منه محلياً باستخدام elan وLean v4.33.1 خلال حوالي 8 دقائق على 24 vCPU. الشركات الناشئة في العالم العربي التي تبني على التشفير أو تحسين الخوارزميات يمكنها متابعة النقاش العلمي عبر مجموعة العمل التي شكلها Williams، لكن لا يوجد تأثير فوري على أمن الأنظمة أو تكاليف الاستدلال. الفرصة الحقيقية تكمن في تعريب المحتوى العلمي وبناء أدوات تعليمية عربية حول Lean 4 والتحقق الشكلي.
الخلاصة والتطلعات القادمة
الخطوة التالية هي مؤتمر علمي يخطط له Williams بدعم من OpenAI لمناقشة كيف يجب أن تتغير أسس نظرية التعقيد. النتيجة الحالية نظرية بحتة، لكنها تضع ضغطاً حقيقياً على أوراق علمية عمرها عقد كامل وتفتح نقاشاً حول P=NP. على المدى القريب، يبقى السؤال الأهم: هل تصمد البراهين أمام المراجعة البشرية المستقلة، أم تظهر ثغرات في الأجزاء "الفضائية" التي أشار إليها Williams؟
المصدر الإعلامي: TechCrunch AI | البيان الرسمي للشركة: المصدر الأصلي | تدقيق وتحليل البيانات: AI Tools Oasis
أسئلة شائعة
فريق AI Tools Oasis
نقدم لك أحدث الأخبار والتحليلات في عالم الذكاء الاصطناعي بدقة ومصداقية. تابعنا للحصول على كل جديد.
