حلّت OpenAI مسألة بول إيردوس التي أعجزت علماء الرياضيات 80 عاماً

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

ما طبيعة هذه المسألة

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

كيف تعاملت الشبكة العصبية مع المسألة

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

• إنشاء براهين رياضية أصلية
• العمل مع المنطق الرسمي والتحقق من صحة الاستدلالات
• إنتاج نهج جديدة لمسائل معروفة منذ وقت طويل
• التحقق المستقل من سلاسل الاستدلال الخاصة به
• حل المسائل التي تتطلب تحليلاً مجرداً عميقاً

لماذا يعتبر هذا مهماً للعلم

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

ماذا يعني هذا للمستقبل

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