تحالف بقيمة 15 مليون دولار يضع معايير الذكاء الاصطناعي بيد علماء الرياضيات

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

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

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

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

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