جوجل تحقق إنجازاً رياضياً بحل 9 مسائل استعصت لعقود
شهد مجال الذكاء الاصطناعي تطوراً جديداً بعدما أعلنت جوجل عن نجاح نظامها AlphaProof Nexus في حل تسع مسائل رياضية مفتوحة من مسائل إردوش الشهيرة، بينها مسائل بقيت دون حل لأكثر من نصف قرن، ما يعكس تسارع قدرات الذكاء الاصطناعي في البحث العلمي والاكتشافات الرياضية.
تفاصيل الخبر
يواصل الذكاء الاصطناعي توسيع حدوده في المجالات العلمية المعقدة، حيث كشفت جوجل DeepMind عن نظام AlphaProof Nexus القادر على إنشاء براهين رياضية يتم التحقق منها آلياً باستخدام أدوات إثبات رسمية، وهو ما سمح له بتحقيق نتائج لافتة في عالم الرياضيات.
ومن أبرز تفاصيل هذا الإنجاز:
- تمكن النظام من حل 9 مسائل مفتوحة من مسائل إردوش التي ظلت دون حلول معروفة لسنوات طويلة.
- تضمنت الإنجازات حل مسألتين ظلتا مستعصيتين لمدة 56 عاماً.
- اعتمد النظام على دمج نموذج لغوي متقدم مع Lean، وهو مساعد رياضي متخصص في التحقق الرسمي من البراهين.
- نجح الذكاء الاصطناعي في إنشاء براهين يتم فحصها آلياً والتأكد من صحتها قبل اعتمادها.
- بلغت تكلفة حل كل مسألة بضع مئات من الدولارات فقط، وهو رقم منخفض مقارنة بالجهد البحثي التقليدي.
- تمكن النظام أيضاً من إثبات صحة 44 فرضية مفتوحة منشورة في موسوعة متتاليات الأعداد الصحيحة Online Encyclopedia of Integer Sequences.
- أظهرت الاختبارات أن نسخة أبسط من النظام حققت نتائج مشابهة، لكنها احتاجت إلى موارد وتكاليف أكبر.
- لا تزال المسائل التي تتطلب ابتكار هياكل أو إنشاءات رياضية جديدة تمثل تحدياً أمام هذه الأنظمة.
ويأتي هذا الإعلان من جوجل بعد أيام قليلة من إعلان OpenAI تحقيق تقدم في مسائل إردوش أيضاً، ما يعكس اشتداد المنافسة بين شركات الذكاء الاصطناعي في مجال الاكتشافات العلمية والرياضية.
الأهداف المستقبلية
يفتح هذا التطور من جوجل الباب أمام مرحلة جديدة من استخدام الذكاء الاصطناعي في البحث العلمي، حيث تسعى الشركات والمؤسسات الأكاديمية إلى توظيف هذه التقنيات لتسريع وتيرة الاكتشافات.
ومن الأهداف المتوقعة خلال السنوات المقبلة:
- مساعدة الباحثين على اكتشاف نظريات رياضية جديدة بسرعة أكبر.
- تقليل الوقت المطلوب للتحقق من صحة البراهين العلمية المعقدة.
- توسيع استخدام أنظمة الإثبات الرسمية في الجامعات ومراكز الأبحاث.
- دعم الاكتشافات في مجالات الفيزياء وعلوم الحاسوب والرياضيات التطبيقية.
- تطوير أنظمة قادرة على ابتكار أفكار رياضية جديدة بدلاً من إثبات النتائج فقط.
- تعزيز التعاون بين الباحثين والذكاء الاصطناعي للوصول إلى حلول لمشكلات علمية طويلة الأمد.
يؤكد نجاح AlphaProof Nexus أن الذكاء الاصطناعي لم يعد مجرد أداة للمساعدة في الحسابات والتحليل، بل أصبح شريكاً قادراً على المساهمة في حل مشكلات علمية استعصت على الباحثين لعقود، ما قد يمهد لعصر جديد من الاكتشافات الرياضية المتسارعة.
