باحثون صينيون يحلّون حدسية غيس ثلاثية الأبعاد باستخدام نموذج ذكاء اصطناعي محلي

أعلن فريق بقيادة الأستاذ شو ديشينغ من جامعة الخليج الكبرى، بالتعاون مع النموذج العلمي Intern-S2 التابع لمختبر شنغهاي للذكاء الاصطناعي، عن برهان كامل لحدسية غيس ثلاثية الأبعاد، وهي مسألة في الديناميكا المعقدة طرحها إتيان غيس عام 1995 وبقيت دون حل لأكثر من 30 عامًا. وأجرى فريق من جامعة بكين بشكل مستقل تحققًا شكليًا آليًا من جميع المبرهنات الأساسية، مولّدًا مئات آلاف الأسطر من شيفرة التحقق. ونُشرت الورقة على منصة ما قبل النشر وشيفرة التحقق مفتوحة بالكامل، ما يجعلها حالة بارزة لمساهمة نموذج ذكاء اصطناعي في برهان رياضي كبير.

• Hacker News (AI)2026-10-18 20:19