IT之家 في 10/12 خبراً: بحسب ما أوردت صحيفة بكين ديلي، تأسس في 10/11 اتحاد مختبرات Shing-Tung Yau للرياضيات والذكاء الاصطناعي في جامعة تسينغهوا، وسيتجه نحو مجالات مثل تطوير نماذج لغوية كبيرة مخصصة للعلوم الرياضية، والبراهين الصورية الرياضية بمساعدة الذكاء الاصطناعي واكتشاف التخمينات، والذكاء الاصطناعي القابل للتفسير والحوسبة الذكية في المجالات البينية، لدفع الاندماج العميق بين الذكاء الاصطناعي والرياضيات.
وبحسب ما أوردت IT之家 سابقاً، كشفت OpenAI مطلع الشهر دفعة واحدة عن 722 مخطوطة بحثية في الرياضياتتناولت مجالات رائدة مثل نظرية الأعداد والهندسة الجبرية وعلوم الحاسوب النظرية وميكانيكا الموائع والفيزياء الإحصائية، وحلّت مسائل رياضية طويلة الأمد عديدة، ما أحدث صدمة كبيرة في الوسط الرياضي.
وقال Shing-Tung Yau، رئيس الاتحاد وعميد كلية Qiuzhen بجامعة تسينغهوا، في حفل تأسيس الاتحاد وهما حول تطوير علم الرياضيات في عصر الذكاء الاصطناعي: "هذا يدفعنا إلى إعادة التفكير في القيمة الجوهرية للرياضيات،ويفرض علينا أيضاً ركوب موجة الذكاء الاصطناعيلا الاختباء عنها."
ووفق المعلومات، أصدر الاتحاد أكثر من 10 نتائج بحثية واتجاهات بحثية رئيسية تحت عنوان "الذكاء الاصطناعي + الرياضيات"، تدور حول الهندسة والحوسبة الكمومية وعلوم الحياة، وتشمل مسائل علمية مثل مسألة تخمين Arnold المنحطّ، ومحدودية التعديل الطفيف، والأشكال الكروية الطوبولوجية ذات 7 أبعاد.
ومنها، في الدراسة "الأشكال الكروية الطوبولوجية ذات 7 أبعاد: جميع البنى الملساء قادرة على حمل انحناء قطعي موجب في كل مكان" التي أُجريت في مركز Shing-Tung Yau للعلوم الرياضية بجامعة تسينغهوا ومعهد شنغهاي للرياضيات والعلوم البينية، استُخدم الذكاء الاصطناعي للمساعدة في استكشاف استراتيجيات الإثبات وتبسيط الحسابات؛ واستُخدمت أنظمة الجبر الحاسوبي للتحقق من المتطابقات الدقيقة وحدود الفترات وتوليد شهادات حسابية قابلة لإعادة الإنتاج؛ وتولّى الرياضيون التصور والإثبات، والتحقق من النتائج، وإتمام الحجة الرياضية والورقة البحثية. كما قدّم الذكاء الاصطناعي في حل مسائل علمية أخرى إلهاماً للأفكار للعلماء، وساعدهم في إجراء حسابات تجريبية مبكرة وغيرها.
وقال Shing-Tung Yau إنالاتحاد حشد قوى أكثر من 1000 عالم رياضيات وباحث علميبالتعاون مع كلية Qiuzhen بجامعة تسينغهوا ومركز Shing-Tung Yau للعلوم الرياضية ومؤسسات مثل معهد بكين يانشي لو لهو للرياضيات التطبيقية، ومركز Chen Xing للرياضيات التابع لأكاديمية العلوم الصينية، ومعهد شنغهاي للرياضيات والعلوم البينية، ومركز Shing-Tung Yau بجامعة جنوب شرق، ومعهد هيتاو للرياضيات والعلوم البينية (شنتشن)، وكلية Zhi Chen للرياضيات البينية بجامعة هونغ كونغ الصينية، وسيقدّم توجيهاً رائداً للباحثين الشباب والطلاب، وسيدفع بنشاط نحو تكامل الموارد، مستكشفاً مساراً خاصاً بالصين لبناء نموذج لغوي كبير للرياضيات.