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