اكتشاف يتبعه تحقق

يعرض تشن جيوي وتشن يانان نتيجة عن أعداد زارانكيفيتش ذات الخطوط التكرارية، وهي مسألة متخصصة في العد التوافقي. وتجمع ورقتهما الأولية المنشورة في 10 سبتمبر الاكتشاف بمساعدة الذكاء الاصطناعي وشهادات دقيقة وحججاً رياضية.

يقدم الباحثان صيغة دقيقة لأربعة أعمدة عندما يبلغ عدد الصفوف 15 على الأقل. وبين صفين و20 صفاً، تبقى حالة 14 صفاً وحدها غير محسومة، بين 37 و38.

تعتمد النتيجة تعريفاً تكرارياً معززاً. وهي ادعاء في ورقة أولية؛ ولم يتحقق MathsAI من الشهادات بصورة مستقلة.

المراجع

• الورقة والملخص
• الورقة كاملة