نظامين متقدمين من الذكاء الاصطناعى، شغالين بشكل مستقل، عملوا اللى مقدروش عليه اى رياضياتى بشرى على مدى تلاتين سنه: دحض فرضية الزمن الأسى (ETH).
OpenAI اعلنت ان النموذج البحثى بتاعها لقى دحض بلغه طبيعيه لفرضية ETH يوم 16 اكتوبر، واتعملتله صياغه رسميه تانى يوم فى Lean، الاداه الاليه للتحقق من البراهين. المخطوطه اللى 67 صفحه مكتوب فيها المؤلف "OpenAI".
قبليها بساعات، Anthropic نشرت الورقه البحثيه بتاعتها اللى 49 صفحه "A 2^o(n) Time Algorithm for 3-SAT"، منسوبه لـ "Claude, Anthropic". نموذج بحثى داخلى من Claude لقى الخوارزميه الاساسيه فى نفس اليوم، 16 اكتوبر.
فرضية ETH، اللى اقترحها Russell Impagliazzo و Ramamohan Paturi حوالى سنة 1999، بتقول ان مفيش خوارزميه تقدر تحل مسألة القابليه للاشباع البوليانى اسرع من الزمن الاسى. وهى الاساس لمئات نتايج الصعوبه المشروطه فى نظرية الجرافات وقواعد البيانات والبيولوجيا الحاسوبيه والهندسه الحاسوبيه.
الفريقين دلوقتى بيدعوا وجود خوارزميه حتميه بتحسب التعيينات المُرضيه فى زمن تحت اسى، وبنفس الحد الرئيسى فى الاس. لو الادعاء صح، يبقى حيطه حامله من نظرية التعقيد وقعت.
منظومة التحقق قويه بشكل مش معتاد. البرهان متصاغ رسمى فى Lean، اللى بيفحص كل خطوه بشكل الى. Stefan Szeider من جامعة TU Wien، اللى راجع المواد المنشوره، متوقع انها تصمد قدام التدقيق. والاحلى: OpenAI كلفت لجنة مراجعه مستقله فيها Impagliazzo و Paturi نفسهم - اللى كتبوا الفرضيه بيدققوا على دحضها. رسالتهم المفتوحه بتقول ان ده ممكن يغير جزء مهم من علوم الكمبيوتر.
الحدود مهمه زى النتيجه بالظبط. مسألة P مقابل NP لسه زى ما هى. الخوارزميه الجديده لسه فوق متعدده الحدود، فمش هيطلع منها حلال SAT اسرع. اللى اتغير هو خريطة الممكن نظرياً، ومين - او ايه - اللى بيعيد رسمها.
لقادة الاعمال، الاشاره مش فى الرياضيات نفسها. الاشاره ان الذكاء الاصطناعى عدى من كتابة النصوص والاكواد لانتاج ابحاث اصليه موثقه بالاله. فكرة ان الالات مش بتقدر تعمل علم جديد خدت للتو ضربه قويه، وحدود القدرات بقت بتتحرك اسرع من معظم دورات التخطيط.
الشركات اللى هتتعامل مع الذكاء الاصطناعى كشريك بحثى مش كاتب على الآله، هى اللى هتحدد ايقاع العقد الجاى.
فكروا رياضياً. صمموا بذكاء. قودوا باستراتيجية. ابنوا بمسؤولية. توسعوا عالمياً. اعملوا قيمة بيزنس حقيقية بالذكاء الاصطناعي.
