فريق من البشر والذكاء الاصطناعي يعلن برهاناً لمسألة عن الفوضى مطروحة منذ عقود

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

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

عمل الباحثون، بقيادة أستاذ جامعة غريت باي شو ديشنغ، مع نموذج Shusheng-S2 التابع لمختبر شنغهاي للذكاء الاصطناعي. وعلى مدى سبع جولات من الاستدلال، استكشف النموذج مسارات متعددة وأنتج حججاً تفصيلية. وحدد الباحثون الأفكار الواعدة، واستبعدوا المسارات المسدودة، ووجّهوا جولة الاستكشاف التالية.

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

نُشر البحث في صورة مسودة أولية على arXiv، وأُتيحت شيفرة التحقق للعامة، بما يسمح للآخرين بفحص العمل.