ذكاء اصطناعي عام يحل مسألة أَردوش الهندسية المفتوحة منذ 1946

أعلنت أوبن إيه آي أن نموذجها الاستدلالي العام نجح بدحض حدسية رياضية كبرى من مسائل پول أَردوش الأسطوري، حاسماً ما يُعرف بـ"مسألة المسافة الوحدة المستوية" التي ظلت عصية منذ طرحها عام 1946. الجانب الأكثر إثارة ليس الحل ذاته، بل بساطة النظام الذي توصل إليه؛ لم يكن آلة برهان مُتخصصة، بل نموذج استدلال عام حسّن أداءه فقط بمنحه وقتاً حسابياً إضافياً للتفكير.

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

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

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

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

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