تقول OpenAI إن نموذجها الذكي توصّل إلى دحض فرضية حاسوبية من عام 1999 تُعرف اختصاراً باسم ETH (فرضية الزمن الأسي)، وهذا الأمر لا علاقة له إطلاقاً بعملة إيثريوم. ومع ذلك، خلط بعض متداولي العملات الرقمية بين الاثنين لفترة وجيزة على منصات التواصل الاجتماعي. هذه الواقعة تُظهر مدى سرعة انتقال ادعاءات الذكاء الاصطناعي في الرياضيات لتصل إلى أسواق لا علاقة لها بها أصلاً.
ماذا حدث بالفعل
نشرت OpenAI ورقة بحثية من 67 صفحة بتاريخ 17 أكتوبر 2025، وجرى تعديلها في 25 أكتوبر، تزعم فيها أن ذكاءها الاصطناعي توصّل إلى خوارزمية حتمية تحل ألغاز 3-SAT في زمن دون أسي، ما يدحض فرضية ETH. وتقول الشركة إن نموذجها توصّل إلى هذا الدحض في 16 أكتوبر، ثم جرى توثيقه رسمياً باستخدام أداة التحقق "Lean" في اليوم التالي. كلا العملين متاحان على GitHub، إلى جانب 722 مخطوطة رياضية أصدرتها OpenAI في وقت سابق من أكتوبر، لم يتضمن منها سوى 162 نتيجة تم التحقق منها حاسوبياً. وكتب علماء الحاسوب راسل إمباجليازو وراموهان باتوري وريان ويليامز من معهد MIT، الذين يقودون المراجعة المستقلة، في رسالة مفتوحة أن نتيجة بهذا الحجم تتطلب تدقيقاً مستقلاً ودقيقاً، بحسب موقع Decrypt. وفي 26 أكتوبر، تبعتها Anthropic بورقة بحثية منفصلة نسبت إلى نموذجها Claude التوصل إلى خوارزمية مشابهة لحل 3-SAT.
كيف وصلنا إلى هذه النقطة
طرح فرضية ETH في عام 1999 كل من إمباجليازو وباتوري وفرانسيس زين. وتنص الفرضية على أن مسألة 3-SAT لا يمكن حلها بسرعة أكبر بكثير من القوة الغاشمة، وتعتمد عليها مئات الأبحاث في نظرية الرسوم البيانية والبيولوجيا الحاسوبية وقواعد البيانات، بحسب OpenAI. ولا يحل هذا الادعاء مسألة P مقابل NP، أي السؤال حول ما إذا كانت كل مسألة يسهل التحقق من حلها يسهل أيضاً إيجاد حل لها. وكان نموذج Claude التابع لـAnthropic قد وثّق مبرهنة فيرما الأخيرة باستخدام Lean في سبتمبر 2025. كما كان عالم الرياضيات تيرنس تاو قد حذّر سابقاً من أن أدوات الذكاء الاصطناعي قد "تُسطّح" المسائل المفتوحة قبل أن ينتهي الباحثون من دراستها، وهو تحذير بدا وكأنه يستبق هذا التداخل بين مختبري الذكاء الاصطناعي.
لماذا يهمك هذا الأمر
بالنسبة لحاملي عملة إيثريوم، لا شيء يتغير؛ فهذه الـETH لا علاقة لها بالبلوكشين أو بالعملة أو بخارطة طريقها. أما بالنسبة للباحثين والمطورين في مجال الذكاء الاصطناعي، فإن هذه الواقعة تختبر مدى سرعة انتشار الادعاءات غير المُتحقق منها، ومدى قدرة أدوات التوثيق الرسمي مثل Lean على تسريع عملية المراجعة المستقلة. وتقول OpenAI إنها لم توقّع أي اتفاقيات عدم إفصاح، ونشرت بياناتها الخام، وخصصت 5,000,000 دولار أمريكي لمؤسسة Simons Foundation لتمويل ورش عمل مخصصة للمراجعة. وقد يتحول هذا النهج إلى نموذج يُحتذى به عند نشر مختبرات الذكاء الاصطناعي لإثباتات مثيرة للجدل. أما بالنسبة لمجتمعات العملات الرقمية، فهذه الواقعة تذكير بضرورة التحقق من الادعاءات قبل التفاعل مع عناوين تحمل اختصارات متشابهة.
السؤال الأكبر
إذا كانت نماذج الذكاء الاصطناعي قادرة على دحض فرضيات عمرها عقود قبل اكتمال مراجعة الأقران، فكيف يجب على مجتمع البحث العلمي إعادة تعريف ما يُعتبر إثباتاً؟ لم يُصادق واضعو فرضية ETH بعد على ادعاء OpenAI، ما يترك السؤال مفتوحاً حول ما إذا كان التوثيق الآلي عبر أدوات مثل Lean يمكن أن يحل يوماً ما محل عملية التدقيق البشري البطيئة التي اعتمدت عليها الرياضيات لقرون.
ما الذي يجب مراقبته
لا تزال المراجعة المستقلة من قبل إمباجليازو وباتوري وويليامز مستمرة، دون أي موعد نهائي محدد حتى الآن. وستموّل منحة OpenAI البالغة 5,000,000 دولار أمريكي المقدمة لمؤسسة Simons Foundation ورش عمل ومؤتمراً مخصصاً لمناقشة هذه النتيجة. وفي الوقت نفسه، تنتظر ورقة Anthropic الخاصة بنموذج Claude، المؤرخة في 26 أكتوبر 2025، مراجعتها الخاصة. ويبقى على متداولي العملات الرقمية ترقّب ما إذا كانت ادعاءات رياضية أخرى متعلقة بالذكاء الاصطناعي ستتسبب في التباس مشابه مع رموز العملات.
