حدسية الأعداد الأولية التوأم: ملحمة تشانغ ← ماينارد ← بوليماث (من 70 مليون إلى 246)

الحدسية

يُقال لعددين أوليين $p$ و $q$ إنهما توأمان إذا كان $q=p+2$. أمثلة: $(3,5)$، $(5,7)$، $(11,13)$، $(17,19)$، $(29,31)$، $(41,43)$…

حدسية الأعداد الأولية التوأم تنص على:

يوجد عدد لا نهائي من أزواج الأعداد الأولية التوأم.

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

الرهان

يبدو أن الأعداد الأولية «تتباعد» كلما صعدنا في الأعداد الصحيحة: مبرهنة الأعداد الأولية تقول إنه حول $n$، الكثافة هي $1/\ln n$. إذن الفرق المتوسط بين أوليين متتاليين يتزايد.

ومع ذلك، تجريبياً، نجد توائم حتى في أعداد ضخمة جداً. أكبر زوج معروف (أكتوبر 2024) يحتوي على 388,342 رقماً! لكننا ما زلنا لا نعرف إن كان هناك عدد لا نهائي منها.

اختراق يتانغ تشانغ (2013)

أبريل 2013. يتانغ تشانغ، رياضياتي صيني من مواليد 1955، محاضر سابق بدون منصب ثابت (عمل محاسباً ونادلاً في مطعم Subway لمدة 7 سنوات من أجل البقاء)، أستاذ بجامعة نيو هامبشير، يقدم مقالاً إلى Annals of Mathematics — أرقى مجلة في الرياضيات البحتة.

نتيجته كانت مدوية:

يوجد عدد لا نهائي من أزواج الأعداد الأولية $(p,q)$ بحيث $q-p\le 70000000$.

70 مليون ليست 2. لكنها منتهية. هذه أول مرة في التاريخ يُبرهن فيها على فرق منتهٍ بين عدد لا نهائي من أزواج الأعداد الأولية. قبل تشانغ، لم نكن نعرف حتى إن كان الفرق يمكن أن يكون محدوداً.

المقال يجتاز مراجعة الأقران في 3 أسابيع (رقم قياسي مطلق). أصبح تشانغ أسطورة بين ليلة وضحاها.

جيمس ماينارد ومشروع Polymath (2013-2014)

نتيجة تشانغ كانت جيدة لدرجة أن المجتمع الرياضي تعبأ لتحسينها. مشروع Polymath 8، الذي أطلقه تيرينس تاو (ميدالية فيلدز 2006) في يونيو 2013، أصبح تعاوناً دولياً مفتوحاً على الإنترنت: كل يوم، عشرات الرياضيين يقترحون تحسينات، يناقشون، يصقلون.

في بضعة أشهر، انخفض الحد إلى 4,680,000، ثم إلى 1,000,000، ثم إلى 50,000…

في نوفمبر 2013، جيمس ماينارد (باحث بريطاني شاب من أكسفورد) ينشر مقالاً يستخدم طريقة مختلفة تماماً ويحصل على حد قدره 600 — رقم قياسي مطلق. سيحصل ماينارد لاحقاً على ميدالية فيلدز 2022 لأعماله.

في أبريل 2014، بدمج طرق تشانغ وماينارد، وصل مشروع Polymath إلى 246. هذا هو الحد الحالي.

الوضع الحالي (2025)

حتى اليوم، نعرف:

• يوجد عدد لا نهائي من الأزواج $(p,q)$ أولية بحيث $q-p\le 246$.
• إذا افترضنا حدسيات إضافية معينة («فرضية إليوت-هالبرستام»)، ينخفض الحد إلى 12.
• لبرهان الحدسية الحقيقية (فرق = 2)، نحتاج إلى طرق جديدة.

لماذا هي صعبة؟

يبدو أن الأعداد الأولية موزعة عشوائياً، لكنها ليست كذلك حقاً: تتبع قواعد حسابية دقيقة (تطابقات، بواقي بالنسبة لأعداد صغيرة). برهان أن «مصادفة» مثل $(p,p+2)$ كلاهما أوليان تحدث عدداً لا نهائياً من المرات يتطلب فهم هذه القواعد على مستوى أدق بكثير مما نعرفه حالياً.

الدرس بالنسبة لك (باكالوريا العلوم الرياضية)

1. اختراق رياضياتي كبير يمكن أن يأتي من حيث لا نتوقع. كان عمر تشانغ 58 سنة، بدون منصب مرموق، وقلب مسألة عمرها 2300 سنة.
2. التعاون المفتوح (Polymath) يتفوق على العبقري المنعزل. مع 246 مقابل 70,000,000، الجهد الجماعي قسّم الحد على 280,000 في أقل من سنة.
3. الحسابيات في الباكالوريا (التطابقات، Bézout، Gauss) هي الباب المباشر لهذه المسائل. تستخدم كل يوم الأدوات التي يتقنها تشانغ وماينارد على مستوى أعلى.

وماذا عن الحدسية إذن؟

لا أحد يعرف متى سننتقل من 246 إلى 2. ربما السنة القادمة، ربما بعد قرن. هذا جمال المسائل الكبرى المفتوحة: تبقى أفقاً يحفز أجيالاً.

انظر أيضاً: الحسابيات باكالوريا العلوم الرياضية، فرضية ريمان، حدسية لانغلاندز.