نموذج ذكاء اصطناعي يقدّم مثالاً مضاداً لحدسية هندسية عمرها 80 عاماً

من جهة أخرى، أثبت سبنسر وسيميريدي وتروتر عام 1984 حداً أعلى مهماً:

ν(n) = O(n^(4/3)).

وهذا ترك فجوة كبيرة بين الحد الأدنى المعروف والحد الأعلى، وأصبحت المسألة واحدة من أبرز الأسئلة المفتوحة في الهندسة المتقطعة.

المثال المضاد الذي ولّده الذكاء الاصطناعي

النتيجة الجديدة تقترح بناء عائلات من مجموعات النقاط في المستوى تحقق:

ν(n) ≥ n^(1+δ)

لبعض δ > 0 ثابت، ولعدد لا نهائي من قيم n.

بما أن حدسية إردوش كانت تتوقع نمواً قريباً من الشكل:

n^(1 + o(1))

فإن وجود تحسين بأسّ ثابت δ يعني مباشرة أن الحدسية غير صحيحة.

بعبارة أخرى، توجد ترتيبات للنقاط تعطي عدداً أكبر بكثير من المسافات الواحدة مما كان يُعتقد ممكناً.

الفكرة الأساسية: نظرية الأعداد بدلاً من الشبكات

معظم البنى السابقة اعتمدت على أنماط هندسية مثل الشبكات المنتظمة. أما البناء الجديد فيسلك طريقاً مختلفاً تماماً: نظرية الأعداد الجبرية.

بشكل مبسط، يستخدم البرهان عدة أدوات متقدمة، منها:

• حقول عددية حقيقية تماماً مرتبة في أبراج لانهائية من الحقول ذات خصائص انقسام معينة
• بنى من نوع Golod–Shafarevich التي تسمح بإنشاء أبراج لانهائية من الحقول مع تحكم في بنيتها الحسابية
• حقول CM الناتجة عن إضافة الوحدة التخيلية i

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

الميزة الأساسية هنا أن الهياكل المستمدة من نظرية الأعداد توفر علاقات مسافات أغنى بكثير من تلك الناتجة عن الشبكات التقليدية.

لماذا تُبطل هذه النتيجة حدسية إردوش؟

الفرق بين النموين يبدو صغيراً لكنه حاسم.

حدسية إردوش تسمح فقط تقريباً بـ:

n^(1 + o(1))

بينما البناء الجديد يعطي:

n^(1 + δ)

حيث δ ثابت موجب. ومع زيادة n يصبح الفرق بينهما كبيراً بلا حد، ما يعني أن الحدسية الأصلية لا يمكن أن تكون صحيحة.

مراجعة بشرية للبرهان

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

شارك في هذا العمل باحثون بارزون مثل:

• نوجا ألون
• تيموثي جاورز
• توماس بلوم
• ويل ساوين
• ميلاني ماتشيت وود

وقد شرحوا كيف يربط البرهان بين عدة خيوط في نظرية الأعداد الحديثة، بما في ذلك أفكار تتعلق ببنى Golod–Shafarevich وأعمال أخرى في الحقول العددية، لإنتاج الترتيبات الهندسية التي تحقق العدد الكبير من مسافات الوحدة.

لماذا يُعد هذا إنجازاً لافتاً للذكاء الاصطناعي؟

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

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

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

ماذا بعد؟

حتى مع وجود مراجعات أولية، فإن نتائج بهذا الحجم تمر عادة بفترة طويلة من التدقيق والتحليل. سيحاول الباحثون:

• فحص تفاصيل البرهان بدقة
• تبسيط الأفكار إن أمكن
• دراسة التأثيرات المحتملة على مسائل أخرى في الهندسة المتقطعة والتوافقيات

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