الذكاء الاصطناعي يُثبت مسألة رياضية عمرها 80 عاماً: ما تعنيه اختراقات OpenAI الاستدلالية للعلوم

المسألة التي انتظرت 80 عاماً

في عام 1946، طرح الرياضي المجري Paul Erdős سؤالاً هندسياً يبدو بسيطاً: بمجموعة من n نقطة في مستوٍ ما، ما هو الحد الأقصى لعدد أزواج النقاط المتباعدة بمسافة وحدة واحدة بالضبط؟ اقترح تخمينه حداً أعلى — وكان الافتراض السائد، المعزَّز بعقود من النتائج الجزئية، أن تنظيمات الشبكة المربعة تمثّل أفضل التكوينات القابلة للتحقيق.

على مدى ما يقارب 80 عاماً، حسّن الرياضيون الحدود بشكل تدريجي. استقطبت المسألة اهتماماً مستداماً لأن صعوبتها كانت غير متناسبة مع بساطتها الظاهرة — سمةٌ مميزة للأسلوب الرياضي لـ Erdős الذي كان يُقدّم مكافآت مالية على حل مسائله المفتوحة.

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

ما يجعل هذا الاختراق مهماً تقنياً

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

وفقاً لفريق التحقق، صقّل رياضي Princeton Will Sawin نتيجة الذكاء الاصطناعي وساعد في التعبير عن التحسين بمعامل ثابت. أجرت مراجعةً خارجيةً مجموعةٌ من الرياضيين بينهم Thomas Bloom. أقرّ الحائز على ميدالية Fields تيم غاورز النتيجةَ بوصفها “معلماً في رياضيات الذكاء الاصطناعي”.

هذه السلسلة من التحقق بالغة الأهمية بالنظر إلى سجل OpenAI مع مسائل Erdős. في أكتوبر 2025، ادّعى نائب الرئيس السابق Kevin Weil أن GPT-5 حل 10 مسائل من مسائل Erdős — غير أنها تبيّنت حلولاً سابقة من تأليف بشري، لا اكتشافات جديدة. أسفر هذا الإحراج عن بروتوكول تحقق بالغ الصرامة في مايو 2026.

ثلاثة إشارات كامنة في هذه النتيجة

1. الإشارة: الاستدلال العام تجاوز عتبة الاكتشاف الرياضي الأصيل

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

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

2. الإشارة: نقل الأفكار عبر المجالات هو الميزة الجوهرية للذكاء الاصطناعي في الرياضيات

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

منذ يناير 2026، انتقلت 15 مسألة من مسائل Erdős المفتوحة إلى المحلولة، 11 يُنسب إليها نماذج الذكاء الاصطناعي. لاحظ Thomas Bloom أن تقنية المسافة الوحدة قد “تؤثر في حلول مسائل أخرى من الهندسة المنفصلة” — اعترافٌ بأن النهج الجبري المُكتشف يفتح مساراً منهجياً جديداً للحقل الفرعي بأكمله.

3. الإشارة: التحقق أصبح العامل المحدِّد للسرعة

استغرق إثبات المسافة الوحدة أسابيع للتحقق بعد أن أنتجه النموذج. إن كانت نماذج الذكاء الاصطناعي ستُنتج نتائج رياضية أصيلة بالوتيرة التي يُشير إليها سجل يناير-مايو 2026 — 15 مسألة من مسائل Erdős في خمسة أشهر — فإن الطاقة البشرية للتحقق ستصبح القيد لا طاقة التوليد بالذكاء الاصطناعي.

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

ما الذي يأتي بعد ذلك للبحث المُعزَّز بالذكاء الاصطناعي

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

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

الأسئلة الشائعة

المصادر والقراءات الإضافية

• OpenAI تؤكد حلّها مسألة رياضية عمرها 80 عاماً — هذه المرة بجدية — TechCrunch
• لغز هندسي عمره 80 عاماً يُكسَر بواسطة OpenAI عبر نظرية الأعداد — Interesting Engineering
• ثلاث مسائل من Erdős سقطت في سبعة أيام، وTerence Tao تحقق منها بنفسه — Medium
• الذكاء الاصطناعي يكتشف حلولاً لمسائل Erdős — Scientific American
• لماذا الجزائر في وضع جيد لتصبح قائدة الذكاء الاصطناعي في أفريقيا الشمالية — New Lines Institute