أعلنت مؤسسة سيمونز عن مجموعة جديدة من المبادرات لمساعدة مجتمع الرياضيات على مواجهة الارتفاع السريع للذكاء الاصطناعي في هذا المجال، مدعومة بمبلغ 15 مليون دولار من التمويل والموارد المشتركة من المؤسسة، Anthropic، وOpenAI.

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

الأدوات والحوسبة خارج نطاق الرياضيات

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

يتميز هذا الترتيب بهيكله: فبدلاً من أن تحدد المختبرات جدول الأعمال، تتحكم المؤسسة في كيفية منح الأموال، وتؤكد المواد الصحفية أن الجوائز والموارد ستكون مدفوعة بالمجتمع.

لماذا الرياضيات هي الخط الأمامي

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

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

إطار المؤسسة: المجتمع أولاً

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

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

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

نموذج للمجالات الأخرى

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

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

---

ابق على اطلاع بأخبار الذكاء الاصطناعي

آخر أخبار وتحليلات وإنجازات الذكاء الاصطناعي — في مكان واحد.

اقرأ المزيد من أخبار الذكاء الاصطناعي →