أكد نموذج من شركة OpenAI بطلان فرضية الزمن الأُسِّي (ETH) بعد أن وجد طريقة أسرع لحل لغز منطقي كلاسيكي. يدعم الادعاء برهان تم التحقق منه آليًا، مما يقلب افتراضاً اعتمد عليه الباحثون لمدة ٢٧ سنة.
لا يثبت هذا الإنجاز أن P تساوي NP، وهو السؤال الأكبر وراء التشفير الحديث. نتيجة لذلك، لا يشكل هذا الخوارزم تهديدًا مباشرًا لتقنيات التشفير التي تحمي بيتكوين (btc) وايثيريوم (eth).
لماذا كانت فرضية الزمن الأُسِّي مهمة؟
تتعلق الفرضية بمسألة 3-SAT، وهو لغز مبني من مفاتيح صح أو خطأ وقواعد تربط بينها. الهدف هو إيجاد إعداد للمفاتيح بحيث تحقق جميع القواعد في الوقت نفسه.
سهل التحقق من إجابة مُقترحة. صعب إيجاد إجابة لأن كل مفتاح جديد يضاعف عدد التركيبات الممكنة.
اقترح راسيل إمباغلياتسو و راماموهن باتوري فرضية ETH في عام ١٩٩٩. رغم التشابه في الاختصار، لا علاقة لها برمز ايثيريوم في البورصة.
تنص الفرضية على أنه لا يوجد خوارزم يستطيع تجاوز هذا النمو الأُسِّي في أسوأ الحالات.
اعتبرها الباحثون كجدارٍ أساسي. بحسب شركة OpenAI، اعتمد مئات الأوراق في نظرية الرسوميات، وبيولوجيا الحوسبة، وقواعد البيانات على هذه الفرضية لإثبات صعوبات المسائل.
كيف اكتشف الذكاء الاصطناعي اختصارًا أغفله الخبراء؟
أنتج نظام شركة OpenAI برهانًا بلغة طبيعية في ١٦ أكتوبر. بعد يوم واحد، صيغ البرهان بشكل رسمي في برنامج Lean الذي يتحقق من كل خطوة منطقية.
يعالج الخوارزم المنشور مدخلات فيها n متغيرات خلال تقريبًا 2^(n/√log n) خطوة. هذا يتفوق على الحد الأدنى الأُسِّي الذي حددته فرضية ETH، لكنه لا يزال بطيئًا جدًا للاستخدام العملي.
تحذر شركة OpenAI أن أي تسريع عملي يتطلب المزيد من البحث المكثف.
سيتولى إمباغلياتسو و باتوري، وكلاهما من جامعة كاليفورنيا في سان دييغو، قيادة مراجعة النتيجة مع رايان ويليامز من MIT. بمعنى آخر، يقوم مؤلفو الفرضية بفحص بطلانها.
في غضون ذلك، تؤكد شركة OpenAI أنها لا تطالب بأي فضل علمي عن هذا الاكتشاف، اتباعًا لموقف مشابه اتخذته في خلاف نافير-ستوكس السابق.
روِ القصة سكوت أرونسون، أستاذ علوم الحاسوب في جامعة تكساس في أوستن، عندما سمع الخبر.
قال سكوت أرونسون أن طلابه جاؤوا إلى مكتبه لإخباره أن نموذج أوبن إيه آي قام الآن بدحض فرضية الزمن الأسي.
ذكر سكوت أرونسون عبر Shtetl-Optimized
هل كسر ETH يعني أن P تساوي NP؟
انفِ، مسألة P مقابل NP تسأل عمّا إذا كان كل مسألة يمكن التحقق من إجاباتها بسرعة يمكن أيضًا حلها بسرعة.
كانت فرضية الزمن الأسي ادعاء أكثر صرامة من P ≠ NP، لذا فإن دحضها يترك السؤال الأوسع مفتوحًا.
تخيّل وجود جبل بين واديين. وجدت الذكاء الاصطناعي مسار أقصر فوق الحافة، وليس نفق عبرها.
أكد غريغ بروكمان، رئيس و مؤسس مشارك لـ أوبن إيه آي، نفس النقطة بعد ساعات من الإعلان.
تميّز هذا الفارق مهم لحاملي العملات الرقمية. توقيعات بيتكوين تعتمد على التشفير البيضاوي، وهي مسألة رياضية معقدة لا يتناولها هذا الخوارزم.
نَبَّه بنجامين كوين، عضو مجلس خبراء الاستخبارات السوقية في BeInCrypto، إلى هذا القلق من خلال رده.
ولكن للتوضيح، دحض فرضية الزمن الأسي لن يثبت أن P = NP، و لن يعني أن بيتكوين أو إيثريوم تعرضا للاختراق.
فرضية الزمن الأسي: ماذا يحدث عندما تتفوق الآلات على صانعيها؟
انهارت المعتقدات حول الاستحالة سابقًا. في سنة 1 960، دحض أناتولي كاراتسوبا فرضية أندريه كولموغوروف بشأن الضرب خلال حوالي أسبوع.
بالمثل، حاول فولكر ستراسن في سنة 1 969 إثبات أن ضرب المصفوفات القياسي هو الأمثل، لكنه وجد طريقة أسرع بدلًا من ذلك.
ما يختلف الآن هو من يجد الطريق المختصر. تنتج الآلات البراهين، بينما يسعى البشر لفهمها.
ذكرت نفس النشرة إصدار مزيد من البراهين في التحليل التوافقي وفيزياء الجسيمات.
يحمل هذا التطور وزن خاص للأصول الرقمية. حذّر عالم التشفير ماثيو غرين بالفعل من أن الذكاء الاصطناعي قد يضعف الرياضيات وراء المحافظ.
طرح كوين الدرس الأوسع في سياق السوق. في رأيه، يمكن لمجالات بعيدة عن التمويل أن تعيد تشكيل الأسواق في نهاية المطاف.
اعتبر في صناعة تعتمد على افتراضات الصلابة، أن كل إنجاز جديد في مجال الذكاء الاصطناعي الآن يعمل كاختبار ضغط مضاعف.
