بحث بشري-آلي يقدم تراكيب جديدة لدرجات عالية في مسألة ليهمر
تستخدم ورقة أولية جديدة بحثاً عددياً بمساعدة الذكاء الاصطناعي وفحوصاً رمزية دقيقة لبناء كثيرات حدود ذات قياس ماهلر صغير عبر نطاق واسع من الدرجات الزوجية.
استخدام حلقة بحث لاستكشاف مسألة قديمة في نظرية الأعداد
تصف ورقة أولية أُرسلت في 21 أكتوبر سير عمل يجمع الإنسان والذكاء الاصطناعي للعثور على كثيرات حدود صحيحة ذات قياس ماهلر صغير على نحو غير معتاد، وهو مقدار يتحدد بمدى ابتعاد جذور كثيرة الحدود عن دائرة الوحدة. وينتمي الهدف إلى المشهد المحيط بمسألة ليهمر التي تسأل عما إذا كانت كثيرات الحدود الصحيحة غير الدورية يمكن أن تمتلك قياسات ماهلر قريبة من 1 بلا حد. ولا تدعي الورقة حل هذه المسألة.
من مرشحات عددية إلى بناء دقيق
يجمع المؤلفون مساعدة ذكاء اصطناعي حوارية مع برامج عددية ورمزية وعمليات بحث موزعة وتحقق دقيق من كثيرات الحدود المرشحة. وقاد البحث إلى عائلة بخمسة معاملات يسمونها خوارزمية بويد المعممة. وعلى خلاف بناء سابق بمعامل واحد قد يتحلل عند درجات زوجية عالية كثيرة، تستهدف العائلة المقترحة إنتاج أمثلة غير قابلة للتحليل عند كل درجة زوجية مستهدفة.
ويورد المؤلفون اختبارات حتى الدرجة 2,000. ويقولون إن العائلة تنتج كثيرة حدود ذات قياس ماهلر أقل من نقطة حد بويد المذكورة في كل درجة زوجية اختُبرت، وإنها تحسن ست قيَم منشورة سابقاً وتطابق أو تحوز تقريباً جميع أفضل الأرقام المعروفة في مجموعة بياناتهم. وهذه تقارير المؤلفين عن بنائهم وحساباتهم ومجموعة المقارنة الخاصة بهم؛ ولم يُعِد MathsAI تشغيل عمليات البحث أو فحص البراهين بصورة مستقلة.
دعم الاكتشاف ليس برهاناً لتخمين مفتوح
تقدم الورقة مثالاً مفيداً على مواضع إسهام الذكاء الاصطناعي في البحث الرياضي: اقتراح تجارب حسابية، والمساعدة في ربط الأنماط بعائلة رمزية، وتسريع البحث عن أمثلة يستطيع البشر تحليلها. لكن جدولاً واسعاً من التراكيب يختلف عن برهان أو دحض لمسألة ليهمر ذاتها. وهذا بحث أولي غير محكم، وتعتمد أهمية ادعاءات الأرقام القياسية فيه على الفحص المستقل للتحقق الدقيق والأدبيات السابقة والمراجعة الرياضية اللاحقة.