الملخص:
تأسس تحالف مختبر ياو للرياضيات والذكاء الاصطناعي في جامعة تسينغهوا في الحادي عشر من أكتوبر/تشرين الأول. ويخطط التحالف لجمع نحو ألف من علماء الرياضيات والباحثين لتعزيز التكامل بين الذكاء الاصطناعي والرياضيات والبحوث متعددة التخصصات. الفائز بميدالية فيلدز ورئيس جامعة تسينغهوا البروفيسور تشيو تشنغ تونغ يشغل منصب قائد التحالف. وقال إن الصين لا تزال متخلفة عن الولايات المتحدة في استخدام الذكاء الاصطناعي لتعزيز العلوم المتطورة، وأن قدراتها البحثية العلمية المحلية على النماذج الكبيرة لم تصل بعد إلى المستوى الرائد في العالم. ويأمل التحالف في دمج المواهب والموارد لتطوير نماذج خاصة للعلوم الرياضية بشكل مستقل.
تم تأسيس التحالف بشكل مشترك من قبل ثماني مؤسسات، بما في ذلك أكاديمية Qiuzhen بجامعة تسينغهوا، ومركز ياو شينغ تونغ للعلوم الرياضية بجامعة تسينغهوا، ومعهد بكين يانكي ليك للرياضيات التطبيقية، ومركز مورنينجسايد للرياضيات التابع للأكاديمية الصينية للعلوم، ومعهد شنغهاي للرياضيات والدراسات متعددة التخصصات، ومركز ياو شينغ تونغ بجامعة جنوب شرق البلاد، ومعهد هيتاو للرياضيات والعلوم متعددة التخصصات (شنتشن)، و معهد Zhizhen للرياضيات متعددة التخصصات بالجامعة الصينية في هونغ كونغ. يقع أول مختبر للرياضيات والذكاء الاصطناعي في أكاديمية Tsinghua Qiuzhen، وقد تم إنشاؤه بالاشتراك مع مركز ياو للعلوم الرياضية؛ ويخطط التحالف أيضًا لبناء مختبرات في بكين وشانغهاي ونانجينغ وشنتشن وهونغ كونغ للتعاون من خلال مشاركة موارد التدريب النموذجية ومكتبات الرياضيات الرسمية ومنصات الطاقة الحاسوبية.
يشمل التركيز الحالي للتحالف تطوير نماذج كبيرة خاصة بالرياضيات، واستخدام الذكاء الاصطناعي للمساعدة في اكتشاف التخمين والإثبات الرسمي، وتطوير الذكاء الاصطناعي القابل للتفسير، وتعزيز تقاطع الرياضيات والحوسبة الكمومية، وعلوم الحياة، والتمويل وغيرها من المجالات. ويخطط التحالف أيضًا لتنفيذ تدريب المواهب والتعاون الدولي، وإنشاء "مجلة الرياضيات بمساعدة الذكاء الاصطناعي". أعلن حفل التأسيس عن أكثر من عشرة نتائج واتجاهات بحثية، تشمل الهندسة والحوسبة الكمومية وعلوم الحياة، بالإضافة إلى المسائل الرياضية مثل حدسية أرنولد المنحل وحدسية سيلفستر. إن نضج هذه المشاريع ليس هو نفسه. بعضها عبارة عن اتجاهات بحثية ولا يمكن اعتبارها نتائج مكتملة ومراجعة من قبل النظراء.
إحدى الحالات التي جذبت الانتباه هي التعاون بين مركز تسينغهوا ياو لعلوم الرياضيات ومعهد شنغهاي للرياضيات والدراسات متعددة التخصصات لدراسة المجالات المتجانسة سباعية الأبعاد. تشير الورقة البحثية، المتاحة حاليًا كطبعة أولية، إلى أن المجالات المتجانسة ذات الأبعاد السبعة لجميع الفئات الـ 28 من الأشكال التفاضلية الموجهة تقوم ببناء مقاييس ريمانية ذات انحناء مقطع عرضي إيجابي تمامًا. وفقًا للتحالف، يساعد الذكاء الاصطناعي الفريق على استكشاف استراتيجيات الإثبات وتبسيط الحسابات؛ يتم استخدام نظام الجبر الحسابي للتحقق من الهويات وحدود الفواصل الزمنية، وإنشاء شهادات حسابية قابلة للتكرار. لا يزال علماء الرياضيات يقومون بمفهوم البحث والإثبات والإثبات النهائي، لذلك لم يتم إثبات هذه النتيجة بشكل مستقل بواسطة الذكاء الاصطناعي.
كما أثارت قدرة الذكاء الاصطناعي على توليد نتائج رياضية على دفعات مناقشات حول المعايير الأكاديمية. وأشار شي نان هوا، الأكاديمي في الأكاديمية الصينية للعلوم ورئيس جمعية الرياضيات الصينية، إلى أن وتيرة الشركات التي تصدر النتائج الناتجة عن الذكاء الاصطناعي تتعارض مع تقليد التحقق الصارم ومراجعة النظراء في مجتمع الرياضيات، وقد يتسرب المحتوى الخاطئ الذي لم يتم اختباره بالكامل؛ وهو يعتقد أن مجتمع الرياضيات وصناعة الذكاء الاصطناعي بحاجة إلى وضع قواعد مشتركة تعترف بها جميع الأطراف. كشفت OpenAI مؤخرًا عن مجموعة من المخطوطات الرياضية ومواد الإثبات التي تم إنشاؤها بواسطة النماذج الداخلية. يضم مستودعها الرسمي حاليًا 719 مخطوطة، مقسمة إلى 372 مجموعة، ويوضح أن النتائج في مراحل مختلفة من التحقق. تم إضفاء الطابع الرسمي على حوالي 42% من النتائج الرئيسية بواسطة Lean، وربما لا تزال هناك مشكلات في النتائج التي لم يتم إضفاء الطابع الرسمي عليها بعد. وهذا يسلط الضوء أيضًا على أنه بالإضافة إلى تحسين كفاءة الاستكشاف، يجب أن تحل الأبحاث الرياضية المدعومة بالذكاء الاصطناعي أيضًا مشكلات التحقق وإعادة الإنتاج وإسناد المسؤولية.
يعتقد تشيو تشنغتونغ أن الذكاء الاصطناعي يمكن أن يولد عددًا كبيرًا من البراهين ونتائج الحسابات، ولكن إثارة أسئلة جديدة ثاقبة وتشكيل الحدس الرياضي والحكم الإبداعي لا تزال من الأدوار المهمة للباحثين البشريين. وبعد إنشاء التحالف، فإن كيفية تحويل قدرات النماذج الكبيرة إلى اكتشافات رياضية يمكن التحقق منها وإنشاء معايير أكاديمية مطابقة ستكون المفتاح لعمله اللاحق.
التعليقات