الرياضيون يتعاملون بحذر مع ادعاء OpenAI بشأن ETH بعد إخفاقات سابقة

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

فرضية الزمن الأسي، والتي يقود مختبرها ألتمان يدعي أنه قد حُلّ, هي مقياس لصعوبة حل مشكلة قابلية الإرضاء البوليانية، وهي مشكلة مرتبطة بسؤال P مقابل NP وتخمين يستند إليه مئات الأوراق في علوم الحاسوب.

سيقود رايان ويليامز من معهد ماساتشوستس للتكنولوجيا، وراسل إمباليجازو وراماموهان باتوري من جامعة كاليفورنيا في سان دييغو المجموعة المسؤولة عن التحقق بشكل مستقل من النتائج المتعلقة بالفرضية التي اقترحها في الأصل إمباليجازو وباتوري، بالإضافة إلى فرانسيس زان.

لم تقبل مجتمع الرياضيات ادعاء OpenAI بشأن ETH

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

وكتب على حسابه في X، قال ويليامز أن المجموعة لم توقع اتفاقية عدم إفشاء (NDA) ولن يتم دفع أجور لهم مقابل عمل «الفحص المفتوح والمستقل» الذي طُلب منهم القيام به بعد «إنتاج نموذج داخلي في OpenAI لادعاء ينفي صحة ETH».

وأضاف ويليامز أن OpenAI وافقت على طلبهم بنشر جميع البيانات الخام وراء النتيجة. كما وافقت مختبر الذكاء الاصطناعي على تمويل مؤتمر حول آثارها.

لماذا لا يدعم المجال ادعاء OpenAI دون دليل

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

Lean هي لغة تتحقق من البراهين آلياً. ومع ذلك، حتى هذه الطريقة قد تم دحضها بواسطة أندرس هانسن من جامعة كامبريدج والمؤلفين المشتركين، الذين جادلوا في ورقة بحثية أن التوثيق الرسمي الذي تم التحقق منه عبر Lean يمكن أن يُجمع (compile) بينما يفشل في مطابقة دليل اللغة الطبيعية الذي يفترض أنه يمثل. وقد سمّوا عمل OpenAI الخاص بمعادلات نافييه-ستوكس كدراسة حالة.

أجاب توماس بلوم، وهو الرياضي الذي يشرف على موقع مسائل إردوس، على ادعاء نائب الرئيس في OpenAI كيفين ويل في أكتوبر 2025 بأن GPT-5 حلّ 10 مسائل سابقة غير محلولة من مسائل إردوس، قائلاً إن ذلك "تشويه كبير للحقيقة".

شرح بلوم أن النموذج لم يجد حلولاً جديدة للتخمينات الشهيرة التي طرحها بول إردوس، بل اكتفى بإظهار أوراق بحثية موجودة مسبقاً لم يكن على علم بها شخصياً.

وقد لاقى هذا الحادث سخرية علنية من يان ليكون من Meta وديميس هاسابيس من Google DeepMind.

اضطرت OpenAI إلى إجراء ثلاث عمليات سحب خلال يوم واحد بعد نشرها جماعياً لـ 722 ورقة بحثية مسبقة حول 372 مشكلة رياضية في 6 أكتوبر، وذلك بسبب وجود خطأ في الإشارة أبطل حجةً واحدة وورقتين بحثيتين تعتمدان عليها. كما قامت المختبر بمراجعة 14 ورقة أخرى. ويتوقع عالم الرياضيات أليكس تاونسيند من جامعة كورنيل أن يتم الكشف عن المزيد من الأخطاء مع مرور الوقت.

ثم جاء مأساة معادلات نافييه-ستوكس في سبتمبر، عندما زعم عالم الرياضيات ترينت باكستر أن OpenAI استخدمت منهجية كان هو وزميله يعملان عليها بالفعل، بينما ادعى المختبر أن نموذج الذكاء الاصطناعي الخاص به قد حّل مشكلة نافييه-ستوكس.

رفضت OpenAI هذا الادعاء.

نتيجتان إضافيتان وثلاث استراتيجيات للإطلاق

كان معهد إتش تي إتش (ETH) واحداً من ثلاثة مطالبات قدمتها OpenAI في نفس الإعلان.

في مجال الرياضيات، تقول OpenAI إن نماذجها أثبتت حدسية التنعيم المحلي، التي طرحها كريستوفر سوج في عام 1991، في كل الأبعاد، وهو ما سيحل أيضاً حدسي كاكييا واقتراح ستين للقيود. وقد أصدر المختبر التقرير النهائي وإثباتاً باستخدام Lean.

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

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