نشرت OpenAI ورقة بطول 67 صفحة تدعي أن الذكاء الاصطناعي الخاص بالشركة قد نقض فرضية الوقت الأسي (ETH). تعود هذه الفرضية إلى عام 1999 ولا يوجد لها أي صلة بإيثيريوم أو سعر إيثيريوم أو أحد مؤسسيها فيتاليك بوتيرين. وأثار هذا الادعاء نقاشًا بين الرياضيين ومستخدمي العملات المشفرة على X. كتب مستخدم X تاكومي: "اللعنة، تجار الخوارزميات قاموا بقتل $ETH". وكتب أندرو جيانغ: "لقد كان فيتاليك صامتًا جدًا منذ صدور هذا الخبر."
اقترح علماء الحاسوب راسل إمباليازو وراماموهان باتوري وفرانسيس زان ETH. تنص الفرضية على أن حل مسألة المنطق 3-SAT لا يمكن أن يكون أسرع بكثير من اختبار كل تركيبة. تتطلب مسألة 3-SAT إيجاد تعيينات صحيحة أو خاطئة تحقق القواعد التي تتضمن ثلاثة خيارات في كل مرة. تقول OpenAI إن مئات الأوراق البحثية تعتمد على ETH لتحديد الحدود الحسابية في نظرية الرسوم البيانية، والبيولوجيا الحسابية، وقواعد البيانات، والهندسة. تجادل OpenAI أن دحض ETH يعيد طرح أسئلة حول تحسينات السرعة المحتملة ويمكن أن يوجه البحث نحو خوارزميات أفضل.
تحتوي الورقة على تاريخ 17 أكتوبر وتاريخ مراجعة 25 أكتوبر. تعرض الورقة خوارزمية حتمية لا تستخدم أي عشوائية لحساب جميع التعيينات المرضية في وقت أقل من الأسي. يعني الوقت أقل من الأسي أن العمل المطلوب يزداد ببطء أكثر من أي دالة أسية بالنسبة لعدد المتغيرات. إن حساب التعيينات المرضية أصعب من تحديد ما إذا كان هناك أي تعيين مرضي موجود، لذا فإن الخوارزمية الحسابية تعالج أيضًا مشكلة القرار. تقول OpenAI إن الذكاء الاصطناعي اكتشف الدحض المدّعى في 16 أكتوبر. تقول OpenAI إن النتيجة تم ترسيخها في 17 أكتوبر باستخدام Lean، وهو برنامج يتحقق آليًا من كل خطوة منطقيّة. الورقة والترسيخ متاحان على GitHub. كما نشرت OpenAI سابقًا هذا الشهر 722 مخطوطة رياضية عبر GitHub، لكن فقط 162 منها شملت نتيجة رئيسية مُتحقق منها بواسطة الكمبيوتر.
يقود إمباليازو، باتوري وريان ويليامز من معهد ماساتشوستس للتكنولوجيا تحقيقًا مستقلًا للمزاعم. حذّر الباحثون الثلاثة في رسالة مفتوحة من أن المشاركة لا ينبغي تفسيرها على أنها شهادة. وقال الباحثون إن اكتشافًا بهذه الأهمية يحتاج إلى مراجعة مستقلة صارمة وشرح يمكن للباحثين الآخرين إعادة إنتاجه وتحديه وتطويره. تقول أوپن أي أي أن المشاركين غير مأجورين ولم يوقعوا أي اتفاقيات سرية. ووافقت أوپن أي أي على إصدار جميع البيانات الخام وتمويل مؤتمر حول النتيجة.
تحذر OpenAI أن تحديد الخوارزميات المفيدة وتحويل التقدم النظري إلى مكاسب عملية سيتطلب أبحاثًا إضافية كبيرة. لا تُثبت الورقة أن جميع مشكلات NP تسمح بحلول زمنية دون أسية. يشمل P المشكلات التي يمكن للحواسيب حلها بكفاءة، بينما يشمل NP المشكلات التي يمكن التحقق من حلولها المقترحة بكفاءة. لا يزال السؤال المتعلق بـ P مقابل NP، والذي يسأل ما إذا كان التحقق الفعال دائمًا يعني حلاً فعالًا، دون حل.
نشرت Anthropic لاحقًا ورقة منسوبة إلى Claude بعنوان "خوارزمية زمنية 2^o(n) لـ 3-SAT" ومؤرخة في 26 أكتوبر. ويذكر المستودع المرفق أن نسخة بحثية داخلية من Claude اكتشفت الخوارزمية، والتي تعالج أيضًا ETH. وتحذر المستودع من أن النتيجة تتعلق بالسلوك الأسيمبتوتي ولا تدّعي أي شيء بشأن حل الصيغ العملية. وقد صاغ Claude مبرهنة فيرما الأخيرة باستخدام Lean في سبتمبر. وحذّر الرياضي تيرينس تاو في سبتمبر من أن حتى الشائعات حول البحث في مسألة معينة يمكن أن تحفز جهودًا واسعة مدعومة بالذكاء الاصطناعي قبل أن يتطور المشروع الأصلي بالكامل.
ساهمت OpenAI مؤخرًا بمبلغ 5 ملايين دولار لمؤسسة سيمونز. سيُستخدم هذا التبرع لدعم ورش العمل والمؤتمرات والبرامج الخاصة التي تساعد الباحثين على مراجعة وتوسيع النتائج التي أنتجتها الذكاء الاصطناعي.