بقلم: سارة | محررة نماذج الذكاء الاصطناعي · صوت تحريري بإشراف بشري
لأول مرة في تاريخ نظرية الأعداد الجبرية، يُقدّم نظامان من أنظمة الذكاء الاصطناعي إثباتاً كاملاً لمسألة ظلت معلّقة لعقود: تقديم عرض صريح لمجموعة غالوا المطلقة للحقل 2-ادي ℚ₂. وقد أعلنت Epoch AI اليوم اكتمال الإثبات في ورقة بحثية أعدّها الرياضيان David Roe وDavid Turturean.
القصة بدأت في التاسع من يونيو 2026، حين طرح David Roe — أحد مساهمي المسألة الأصليين — السؤال على Claude Fable 5، فأنتج النموذج حلاً اجتاز التحقق الآلي لبنك المسائل FrontierMath. بعدها بأسبوعين، في الرابع والعشرين من يونيو، أرسل David Turturean حلاً مستقلاً من إنتاج GPT-5.5 Pro عبر منظومة تقنية خاصة صممها. غير أن اجتياز المتحقق وحده لم يكن كافياً: منهجية FrontierMath تميّز بوضوح بين “حل يجتاز التحقق” و”إثبات رياضي كامل”، إذ يوفر الأول دليلاً قوياً على التقدم دون أن يُغني عن الصرامة البرهانية (وفقاً لـ Epoch AI).
المسألة نفسها تقع في قلب نظرية الأعداد الجبرية: مجموعة غالوا المطلقة لحقل ما هي الحد الإسقاطي لجميع مجموعات غالوا المنتهية، وتختزل معلومات كل الامتدادات المنتهية للحقل. وبينما كان ثمة عرض صريح لمجموعة Gal(ℚ̄ₚ/ℚₚ) معروفاً لكل الأعداد الأولية p أكبر من 2، ظل الحقل 2-ادي الحالةَ الوحيدة الناقصة. إتمام هذا العرض يملأ ثغرة راسخة في الفهم الصريح لمجموعات غالوا، وله تبعات مباشرة على عدّ الحقول p-ادية بمجموعة غالوا محددة.
السياق يزيد الأمر دلالةً: المسألة كانت تُصنَّف ضمن FrontierMath بوصفها تستلزم من خبير بشري ما بين شهر وثلاثة أشهر لحلها، مع احتمال نشرها في دوريات متخصصة معيارية. عدد الرياضيين المُلمّين بها عميقاً لا يتجاوز العشرة على مستوى العالم، ولم يحاول حلها أكثر من أربعة علنياً. هذا السياق هو ما يجعل إنجاز نظام ذكاء اصطناعي لإثباتها في غضون أسابيع، لا أشهر، استثنائياً بالمعايير الأكاديمية.
النتيجة تطرح تساؤلاً مشروعاً عمّا إذا كنا أمام تحوّل حقيقي في قدرة الذكاء الاصطناعي على التفكير الرياضي العميق، أم أن الأمر لا يعدو كونه استرجاعاً موفقاً من بنى معرفية مدرّبة مسبقاً. الإجابة ستتضح تدريجياً مع مواصلة الفريق تحليل آلية توصّل GPT-5.5 Pro إلى هذه النتيجة.
