تقول OpenAI إن نموذجًا للذكاء الاصطناعي قد نقض فرضية الزمن الأسي (ETH)، مما يتحدى افتراضًا اعتمد عليه الباحثون لمدة 27 عامًا. وقد طوّر النموذج خوارزمية أسرع لمشكلة المنطق 3-SAT. وقد أنشأ نظام OpenAI إثباتًا بلغة طبيعية في 16 أكتوبر. وترجم الفريق الإثبات إلى Lean في اليوم التالي، مما سمح للبرمجيات بالتحقق من كل خطوة منطقيّة.
يأخذ الخوارزمية المنشورة حوالي 2^(n/√log n) خطوة لمدخل يحتوي على n متغيرات. هذا الوقت التشغيلي يقلل من الحد السفلي الأسي المتوقع من قبل ETH، لكنه لا يزال بطيئًا جدًا للتطبيقات العملية. تحذر OpenAI من أن هناك حاجة إلى أبحاث إضافية كبيرة لتحقيق تحسينات عملية في السرعة. سيقود مراجعة البحث راسل إمباليازو وراماموهان باتوري من جامعة كاليفورنيا في سان دييغو مع ريان ويليامز من معهد ماساتشوستس للتكنولوجيا. لا تدّعي OpenAI أي امتياز علمي على هذا الاكتشاف، وذلك اتباعًا لخلاف سابق يتعلق بمعادلات نافير-ستوكس.
قدم إيمباغليازو وباتوري ETH في عام 1999. تتعلق الفرضية بـ 3-SAT، التي تسأل عما إذا كان يمكن تعيين قيم صحيحة أو خاطئة للمتغيرات مع إرضاء كل شرط مرتبط. الحل المقترح سهل التحقق منه، لكن كل متغير إضافي يضاعف عدد التوافيق الممكنة التي يجب البحث عنها. تدّعي ETH أنه لا يمكن لأي خوارزمية تجنب النمو الأسي في أسوأ الحالات. تقول OpenAI إن مئات الأوراق البحثية استخدمت هذه الفرضية لتحديد صعوبة الحساب في نظرية الرسوم البيانية، وعلم الأحياء الحسابي، وقواعد البيانات. الاختصار ETH لا يرتبط برمز Ethereum.
النتيجة لا تثبت أن P تساوي NP. السؤال المتعلق بـ P مقابل NP يسأل ما إذا كانت جميع المشكلات التي يمكن التحقق من حلولها بسرعة يمكن أيضًا حلها بسرعة. قدم ETH ادعاءً أقوى من P ≠ NP، لذا فإن دحض ETH لا يحل هذا السؤال الأوسع. وأكد رئيس ومؤسس OpenAI، غريغ بروكمان، على هذا التمييز ساعات بعد الإعلان. لا يهدد الخوارزمية مباشرة التشفير الذي يحمي البيتكوين والإيثيريوم. تستخدم توقيعات البيتكوين التشفير المنحني الإهليلجي، ولا تحل الخوارزمية المشكلة الرياضية التي تقوم عليها هذا النظام.
قال سكوت أرونسون، أستاذ علوم الحاسوب بجامعة تكساس في أوستن، إن الطلاب أبلغوه عن الادعاء بعكس النتيجة. كما ألغت إنجازات رياضية سابقة افتراضات حول حدود الحوسبة. فقد ألغى أناتولي كاراتسوبا فرضية كولموغوروف حول الضرب في حوالي أسبوع في عام 1960. وسعى فولكر شتراسين في عام 1969 إلى إثبات كفاءة ضرب المصفوفات القياسي، لكنه اكتشف بدلاً من ذلك أسلوبًا أسرع. الآن تُولّد الآلات إثباتات يسعى البشر لفهمها. كما ادّعى الإصدار نفسه وجود إثباتات إضافية تتعلق بالتحليل التوافقي وفيزياء الجسيمات.
حذّر عالم التشفير ماثيو غرين من أن الذكاء الاصطناعي قد يضعف الرياضيات التي تحمي المحافظ. ورأى بنجامين كاون، عضو مجلس خبراء الذكاء السوقي في BeInCrypto، أن التطورات في التخصصات البعيدة عن المالية يمكن أن تغيّر الأسواق في النهاية. وتشكل التطورات في الذكاء الاصطناعي اختبارًا متزايدًا لافتراضات الصعوبة الحسابية التي تعتمد عليها الأصول الرقمية.