IT之家 في 15 أكتوبر، ذكرت أن مختبر شنغهاي للذكاء الاصطناعي نشر اليوم بيانًا أعلنت فيه أن المسألة العالمية التي أزعجت المجتمع الرياضي لأكثر من 30 عامًا — تخمين Ghys ثلاثي الأبعادقد تم حلها.
اعتمد فريق الباحث شيو دي شنغ، الباحث الزائر في مختبر شنغهاي للذكاء الاصطناعي وأستاذ في جامعة منطقة الخليج الكبرى، على النموذج الضخم متعدد الوسائط العلمي InternLM S2 (InternLM-S2)، وبناءً على مسار تقني يتمثل في "دمج القدرات العامة والتخصصية"،أكمل إثبات تخمين Ghys ثلاثي الأبعاد من خلال التعاون بين الإنسان والآلة。
أكمل فريق البروفيسور دونغ بين وأكاديمييه ليو روي تشوان من جامعة بكين التحقق الشكلي من هذا الإثبات باستخدام إطار SHEAF الذي طوراه، مؤكدين صحة هذا العمل.يمثل هذا أول مرة يستخدم فيها علماء صينيون نموذجًا ضخمًا صينيًا لحل مسألة رياضية عالمية المستوى。
طرح عالم الرياضيات الفرنسي إتيان جيز (Étienne Ghys) تخمين Ghys عام 1995، متوقعًا أن كل نظام Anosov هولومورفي على شعيرة مركبة مضغوطة يكون مترافقًا ثنائي الهولومورفية مع تشابه أفيني هولومورفي على شعيرة infra-صفرية مركبة معينة. تجمع هذه المسألة بين الصعوبة النظرية والقيمة الرمادية للتخصص، ويعتبرها خبراء الرياضيات في مجال الأنظمة الديناميكية إحدى المسائل المفتوحة طويلة الأمد المهمة في هذا المجال، وهي حجر اختبار لقدرات الاستدلال الرياضي.
تم نشر الورقة البحثية ذات الصلة على منصة الأوراق الأولية (arXiv)، كما أُتيح الكود الشكلي على منصة Github. وترفق IT之家 الرابط أدناه:
https://github.com/frenzymath/HolomorphicAnosov
وقال مختبر شنغهاي للذكاء الاصطناعي إن أهمية هذا البحث تكمن أيضًا في التحقق من نموذج بحثي جديد. يعتمد البحث الرياضي التقليدي على المساعي الطويلة للأفراد الموهوبين، بينما أدى هذا المسعى إلى دمج الحدس الخبير بشكل منهجي في حلقة الحل الآلي، مشكّلًا حلقة مغلقة من "الاستكشاف المنهجي — الحكم الخبير — تراكم النتائج — التصحيح التغذوي الراجع".يمكن تكرار هذا النموذج وتعميمه على المزيد من مجالات البحث الأساسية التي تتميز بـ"فضاءات بحث هائلة وندرة الخبراء"، لتحقيق المزيد من الاختراقات الابتدائية "من 0 إلى 1"。
بعد ذلك، وبناءً على الحلقة الكاملة للقدرات التي تم إثباتها في هذا البحث، سيقوم الفريق بتغليفها كوحدة تحقق رياضية قابلة لإعادة الاستخدام في منصة InternLM للكشف العلمي (DuanYan)، لتُستدعى مباشرة في دراسات المسائل العلمية اللاحقة. وفي الوقت نفسه، وباعتبار اختراق تخمين Ghys ثلاثي الأبعاد نقطة انطلاق،سيوسّع مختبر شنغهاي للذكاء الاصطناعي قدرات الاستدلال المتراكمة لتطبيقها على تخصصات أخرى ذات بنى رياضية متماثلة؛ وبعد تحقيق اختراقات جديدة، سيتم تغليف قدرات الاستدلال الجديدة مرة أخرى في منصة DuanYan لإعادة استخدامها، والجمع بين المزيد من التخصصات للسعي نحو جولة جديدة من الاختراقات، مشكّلًا عجلة تطور ذاتي من "اختراق — تغليف — إعادة استخدام — اختراق جديد".
إعلان إعلاني: تحتوي المقالة على روابط انتقال خارجية (بما في ذلك على سبيل المثال لا الحصر الروابط التشعبية ورموز QR وكلمات المرور وغيرها من الأشكال)، تُستخدم لنقل المزيد من المعلومات وتوفير وقت الفرز، والنتائج للاسترشاد فقط، وجميع مقالات IT之家 التي تحتوي على روابط خارجية تتضمن هذا الإعلان.