في عالم الرياضيات، تُعتبر الفرضيات المفتوحة تحديًا دائمًا للباحثين، وقد تمكن فريق من العلماء من تصميم معيار جديد يُعرف بـ OEIS Open، يستند إلى 492 فرضية رياضية مفتوحة من قاعدة بيانات OEIS. قام فريق الباحثين بقيادة تسوكالاس بإضفاء الطابع الرسمي على هذه الفرضيات باستخدام أداة Lean، مما أتاح لنماذج اللغات (Language Models) فرصة اختبار قدراتها في حل تلك الفرضيات.

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

أظهرت النتائج أن نماذج اللغات، التي تم تجهيزها بمجموعة أدوات بسيطة، استطاعت حل 147 فرضية بمعدل نجاح يصل إلى 30% عند تقديم ميزانية قدرها 50 دولارًا لكل محاولة. ولتعزيز التجربة، تم تقديم مجموعة فرعية عشوائية من 100 فرضية تحت اسم OEIS Open Lite، حيث حقق أفضل نموذج حالي معدل نجاح 44% عند استخدام ميزانية تصل إلى 200 دولار.

ومما يُثير الدهشة أن تزويد نماذج اللغات بمعلومات رياضية مكونة من 476000 ورقة بحثية من arXiv لم يُحسّن الأداء على OEIS Open Lite، مما يعكس طبيعة الفرضيات التي تم تناولها والتي تفتقر إلى الزخم الرياضي.

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