الذكاء الاصطناعي يحل حدسية قديمة لإردوش في اختراق لعلم الرياضيات

نتيجة لم يكن يتوقعها كثيرون قريبًا

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

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

المشكلة ببساطة

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

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

ما الذي يبدو أن الذكاء الاصطناعي أثبته

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

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

لماذا يهم هذا أبعد من نظرية واحدة

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

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

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

علاقة جديدة بين الرياضيين والآلات

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

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

ما الذي سيظل مهمًا لاحقًا

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

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

هذه المقالة مبنية على تقرير من New Scientist. اقرأ المقال الأصلي.