مسائل جائزة الألفية بشرح مبسّط: سبعة أسئلة غيّرت الرياضيات

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

1. فرضية ريمان

السؤال في جملة واحدة: هل يوجد نمط خفيّ ودقيق وراء الطريقة التي تقلّ بها الأعداد الأولية (2، 3، 5، 7، 11، 13…) كلما كبرت الأعداد؟

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

أين يتوقف التشبيه: من المغري تصوّر الأمر على أنه «إيجاد نمط في الأعداد الأولية نفسها»، لكن الفرضية في الحقيقة عبارة عن دالة أخرى مُنشأة ترمّز معلومات عن الأعداد الأولية، وليست قاعدة مباشرة من قبيل «كل عدد أولي ثانٍ هو…».

لماذا تهم: تفترض مجالات واسعة من نظرية الأعداد بالفعل أن فرضية ريمان صحيحة وتبني عليها؛ وأي برهان سيحوّل فورًا مئات النتائج القائمة من «صحيحة إذا كانت فرضية ريمان صحيحة» إلى «صحيحة» ببساطة.

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

2. مسألة P مقابل NP

السؤال في جملة واحدة: إذا كان التحقق من حل مسألة ما سريعًا بمجرد حصولك عليه، فهل يكون إيجاده من البداية سريعًا دائمًا أيضًا؟

تخيّل لغز سودوكو عملاقًا، أو البحث عن أفضل مسار توصيل ممكن يمر بـ500 مدينة. التحقق من سودوكو مكتمل، أو التحقق مما إذا كان مسار معيّن أقصر من طول مستهدف، لا يكاد يستغرق وقتًا. أما حلّه فعلًا من الصفر، فيبدو أنه يستغرق وقتًا أطول بكثير مع كبر اللغز، إذ يتضاعف عدد الاحتمالات انفجاريًا. وتسأل مسألة P مقابل NP: هل هذه الفجوة بين التحقق والحل حقيقة أساسية لا مفرّ منها في الرياضيات، أم أنها مجرد انعكاس لأن أحدًا لم يجد بعدُ طريقة ذكية بما يكفي؟

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

الحالة: مفتوحة. تعتقد الغالبية الساحقة من علماء الحاسوب أن P ≠ NP (أي أن الفجوة حقيقية ودائمة)، لكن أحدًا لم يبرهن ذلك في أي من الاتجاهين.

3. مسألة وجود حلول معادلات نافييه–ستوكس وانتظامها

السؤال في جملة واحدة: هل تظل المعادلات التي تصف حركة الموائع (الماء والهواء وكل ما يجري) حسنة السلوك إلى الأبد، أم يمكن لجريان ابتدائي أملس تمامًا أن «ينفجر» فجأة إلى سرعة لانهائية أو اضطراب خلال زمن منتهٍ؟

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

الحالة حتى 2 أكتوبر 2026: في منطقة وسطى حقًا. ففي سبتمبر 2026 أُعلن عن نتيجة تتناول هذه المسألة، وربطتها عدة وسائل إعلام بجهد بحثي في OpenAI، تقترح حالة ينفجر فيها جريان ابتدائي أملس فعلًا خلال زمن منتهٍ. وردّ معهد كلاي للرياضيات في 11 سبتمبر 2026 بأن المسألة «حُسمت على ما يبدو» («apparently been settled»)، مع تأكيده صراحة أن عملية التقييم لديه «متأنّية عن قصد» («deliberately unhurried»). وهذا ليس مثل منح الجائزة رسميًا، انظر المربع أدناه.

4. مسألة وجود نظرية يانغ–ميلز وفجوة الكتلة

السؤال في جملة واحدة: هل يمكن وضع الرياضيات التي يقوم عليها النموذج القياسي لفيزياء الجسيمات على أساس صارم تمامًا، وإذا أمكن ذلك، فهل تتنبأ بشكل صحيح بأن لأخف جسيم تسمح به كتلةً موجبة تمامًا («فجوة الكتلة»)، تمامًا كما ترصده التجارب؟

تعمّق الدراسات العليا

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

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

الحالة: مفتوحة. يعدّها كثير من علماء الرياضيات من أصعب المسائل السبع وأكثرها تطلّبًا من الناحية التقنية.

5. حدسية هودج

السؤال في جملة واحدة: بالنسبة إلى عائلة معيّنة حسنة السلوك من الأشكال المبنية من معادلات كثيرات الحدود، هل تنشأ كل بُناها الداخلية «الطبيعية» فعلًا من قطع جبرية أبسط، كما هو متوقع؟

تعمّق الدراسات العليا

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

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

6. حدسية بيرش وسوينرتون–داير

السؤال في جملة واحدة: بالنسبة إلى نوع خاص من المنحنيات («المنحنى الإهليلجي»)، هل يمكنك التنبؤ بعدد حلوله الصحيحة أو الكسرية بمجرد النظر إلى سلوك دالة مرتبطة به؟

المنحنيات الإهليلجية معادلات على الصورة y² = x³ + ax + b، وهي بسيطة المظهر على نحو خادع، ومحورية في التشفير الحديث (بما في ذلك التشفير الذي يحمي معظم تطبيقات المصارف) وفي برهان أندرو وايلز الشهير لمبرهنة فيرما الأخيرة. لبعض المنحنيات الإهليلجية عدد لانهائي من الحلول النسبية، ولبعضها الآخر عدد منتهٍ فقط. وتقول الحدسية إنه يمكنك معرفة النوع الذي أمامك، بل وتقدير مدى «غنى» حلوله، من سلوك دالة منفصلة مبنية من ذلك المنحنى (دالة L الخاصة به) بالقرب من نقطة محددة فقط.

لماذا تهم: ستحوّل سؤالًا يُعالَج حاليًا حالة بحالة، وغالبًا ما يكون صعب الحساب («كم حلًا لهذا المنحنى؟»)، إلى سؤال يمكن الإجابة عنه بقاعدة واضحة قابلة للبرهان.

الحالة: مفتوحة، مع أنه تم التحقق منها حسابيًا لعدد كبير جدًا من المنحنيات الإهليلجية المفردة، وكل منحنى فُحص حتى الآن يتصرف تمامًا كما تتنبأ الحدسية.

7. حدسية بوانكاريه، المسألة التي حُلّت

السؤال في جملة واحدة: إذا لم يكن في شكل ثلاثي الأبعاد أي ثقوب (بمعنى طوبولوجي دقيق) وكان حسن السلوك من نواحٍ أخرى، فهل يجب أن يكون في الحقيقة كرة (من بُعد أعلى)، ربما ممطوطة أو مشوّهة فقط؟

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

الحالة: محلولة. برهنها غريغوري بيرلمان في 2002–2003 باستخدام تقنية تُسمى تدفق ريتشي (طوّرها ريتشارد هاملتون)، «تملّس» هندسة الشكل تدريجيًا، خطوة بخطوة، حتى تتضح بنيته الحقيقية.

جدول ملخّص

جرّب بنفسك: الأدلة مقابل البرهان

تشترك عدة مسائل من هذه، مثل أصفار ريمان والأسئلة على غرار حدسية غولدباخ وحدسية كولاتز، في الفخ نفسه: أدلة عددية ساحقة تبدو كأنها برهان، لكنها ليست كذلك. حرّك المؤشر أدناه لترى السبب.

إلى أين بعد ذلك؟

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