كشفت شركة OpenAI عن 372 نتيجة رياضية جديدة تم التوصل إليها بواسطة نموذج ذكاء اصطناعي داخلي لم يُطرح للجمهور، وذلك بعد اختبار النموذج على نحو 4 آلاف مسألة بحثية. نُشرت هذه النتائج في مستودع عبر GitHub يضم 722 مخطوطة رياضية، وتطلبت كل نتيجة منها متوسط حوسبة يعادل نحو 3 ساعات من وضع التفكير في ChatGPT Pro.
المجالات الرياضية المشمولة بالنتائج
تغطي النتائج التي أنتجها النموذج مجالات رياضية متقدمة ومسائل بحثية مفتوحة، أبرزها:
- نظرية الأعداد.
- الجبر والمنطق الرياضي.
- علوم الحاسوب النظرية.
- الطوبولوجيا.
- صيغة ميزارد-باريسي للزجاجات المغزلية المخففة.
حالة التحقق من النتائج الرياضية
تؤكد OpenAI أن هذه النتائج لا تُعد حقائق رياضية نهائية بمجرد نشرها، حيث تختلف مستويات التحقق منها:
- التحقق الحاسوبي: جرى تحويل العديد من البراهين إلى لغة “Lean” لضمان قابليتها للفحص الحاسوبي.
- النتائج غير الرسمية: لا تزال بعض المخطوطات تفتقر إلى صياغة رسمية، وقد تحتوي على أخطاء، كما أن جزءاً كبيراً منها لم يخضع بعد لمراجعة الأقران.
دور الذكاء الاصطناعي في البحث العلمي
يمثل هذا الإعلان تحولاً في استخدام النماذج الذكية من مجرد الإجابة عن الأسئلة إلى استكشاف نتائج علمية جديدة. وتخطط OpenAI لتمويل ورش عمل وبرامج متخصصة لدعم الباحثين في دراسة هذه النتائج والبناء عليها، مع التأكيد على أن دور الذكاء الاصطناعي يظل مكملاً لعلماء الرياضيات، حيث يظل التحقق البشري والحاسوبي ضرورياً لضمان صحة وقيمة الاكتشافات.