الصين تراهن على الذكاء الاصطناعي لفتح آفاق جديدة في عالم الرياضيات

آخر خبر

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

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

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

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

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

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

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

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

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

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