OpenAI تثبت أن ETH غير صحيح، وتويتر العملات المشفرة لديه أسئلة

تقول OpenAI إن ETH غير صحيح، وقد تفاعل تويتر العملات المشفرة بالطريقة التي كنت تتوقعها بالضبط. "لقد ذبح المتداولون الخوارزميون $ETH"، نشر مستخدم يدعى تاكومي على X، بينما قال أندرو جيانغ: "لقد كان فيتاليك هادئًا جدًا منذ أن تم الكشف عن هذا."

لكن اهدأوا، يا متداولي العملات المشفرة، فإن ETH المعني هو فرضية الزمن الأسي، وهي تخمين في علوم الكمبيوتر يعود إلى عام 1999 وليس لها علاقة بإيثيريوم أو سعره أو المؤسس المشارك فيتاليك بوتيرين. لذا، يمكنكم التنفس.

نشرت OpenAI ورقة بحثية مكونة من 67 صفحة تدعي أن ذكائها الاصطناعي وجد طريقة للتغلب على الفرضية، والناس الذين اقترحوها يقومون الآن بفحص العمل.

اقترح علماء الكمبيوتر راسل إمبالياغزو وراماموهان باتوري فرضية ETH مع فرانسيس زين، وتقول إنه لا يمكن حل لغز منطقي كلاسيكي يسمى 3-SAT (البحث عن إعدادات صحيحة أو خاطئة تلبي مجموعة من القواعد، ثلاث خيارات في كل مرة) بشكل أسرع بكثير من محاولة كل تركيبة. تفترض مئات الأوراق البحثية ذلك لإظهار أن المشاكل في نظرية الرسوم البيانية، وعلم الأحياء الحسابي، وقواعد البيانات، والهندسة لا يمكن حلها بسرعة، وفقًا لـ OpenAI.

Myriad: أين تذهب ETH بعد ذلك؟ انقر لتقديم توقعك.

بعبارة أخرى، ETH هو خريطة لما لن تتمكن أجهزة الكمبيوتر من القيام به بسرعة، وتقول OpenAI إن نموذجها أعاد رسمه. "إن دحض ETH يعيد فتح الأسئلة حول مدى سرعة هذه المهام"، كتبت الشركة في مدونتها، "وقد يساعد في توجيه البحث عن خوارزميات أفضل."

تصف الورقة، المؤرخة في 17 أكتوبر والمعدلة في 25 أكتوبر، خوارزمية حتمية (واحدة بدون عشوائية) تحسب كل تعيين مرضٍ لمثل هذه الألغاز في وقت دون أسي، مما يعني أن العمل ينمو بشكل أبطأ من أي أسي في عدد المتغيرات. يعد حساب الحلول أصعب من تحديد ما إذا كان واحد موجودًا، لذا فإن الوظيفة الأصعب تجلب الوظيفة الأسهل معها مجانًا.

تقول OpenAI إن ذكاءها الاصطناعي وجد الدليل على عدم صحة الفرضية في 16 أكتوبر وأنه تم توثيقه في Lean، وهو برنامج يتحقق من كل خطوة منطقية بشكل ميكانيكي، في 17 أكتوبر. كلاهما موجود على GitHub، بنفس المسار مثل 722 مخطوطة رياضية لها في وقت سابق من هذا الشهر، منها 162 فقط جاءت مع نتيجة رئيسية تم التحقق منها بواسطة الكمبيوتر.

يترأس إمبالياغزو وباتوري وريان ويليامز من معهد ماساتشوستس للتكنولوجيا الفحص المستقل، وهم حذرون بشأن دورهم. "لا ينبغي اعتبار مشاركتنا بمثابة شهادة على الادعاء"، كتب الثلاثة في رسالة مفتوحة، مضيفين أن "نتيجة بهذا القدر من الأهمية تتطلب تدقيقًا مستقلًا دقيقًا وفهمًا بأن الآخرين يمكنهم إعادة بناء السؤال والبناء عليه."

تقول OpenAI إن المشاركين لم يوقعوا أي اتفاقيات عدم إفشاء وأن العمل كان بدون أجر، ووافقت الشركة على نشر جميع البيانات الخام وتمويل مؤتمر حول النتيجة.

العوائد العملية بعيدة: "إن العثور على مثل هذه الخوارزميات، وتحويل التقدم النظري إلى تحسينات عملية، سيتطلب بحثًا إضافيًا كبيرًا"، كتبت OpenAI. تقول الورقة نفسها إن النتيجة لا تظهر أن كل مشكلة NP يمكن حلها في وقت دون أسي، لذا فإن سؤال P مقابل NP، وهو سؤال حول ما إذا كانت كل مشكلة لها إجابة سهلة التحقق هي أيضًا سهلة الحل، يبقى مفتوحًا.

بعبارات بسيطة، P هو فئة المشاكل التي يمكن لأجهزة الكمبيوتر حلها بكفاءة، بينما NP هو فئة المشاكل التي يمكن التحقق من الحلول المقترحة لها بكفاءة. لذا فإن سؤال P مقابل NP - السؤال عما إذا كانت كل مشكلة تكون إجابتها سهلة التحقق هي أيضًا سهلة الحل - يبقى مفتوحًا.

لم ترغب أنثروبيك في فقدان حروب الرياضيات، ثم نشرت ورقة تحمل اسم كلود بعنوان "خوارزمية زمنية 2^o(n) لـ 3-SAT" ومؤرخة في 26 أكتوبر. تقول المستودع، الذي يتناول أيضًا مشكلة ETH، إن نموذج بحث داخلي لكلود اكتشف الخوارزمية، و"النتيجة هي فقط أسيمتري وتقول شيئًا عن حل الصيغ في الممارسة العملية."

OpenAI تقول إن نموذج ذكاء اصطناعي سري كسر مئات من مشاكل الرياضيات المفتوحة في طلب واحد - الرياضيون يريدون الإيصالات

قام كلود بتوثيق نظرية فيرما الأخيرة في Lean في سبتمبر، ورأى تيرينس تاو أن هذا النوع من التداخل قادم. "لقد رأينا الآن أن حتى شائعة عن شخص يعمل على مشكلة يمكن أن تحفز كمية هائلة من الجهود المدعومة بالذكاء الاصطناعي لتسويتها قبل أن تتاح لمشروع البحث الأصلي الوقت للوصول إلى إمكاناته الكاملة"، كتب الرياضي في سبتمبر.

ستمول مساهمة OpenAI الأخيرة البالغة 5 ملايين دولار لمؤسسة سيمونز ورش العمل والمؤتمرات والبرامج الخاصة لمساعدة الباحثين في فحص وبناء نتائج إنتاج الذكاء الاصطناعي.