زلّة الإشارة التي أغرقت ثلاثة براهين

حدسية هودج (Hodge conjecture) من أعمق المسائل المفتوحة في الرياضيات. وصياغتها في هذه الورقة مأخوذة من فصل كتبه بيير دولين (Pierre Deligne) في كتاب معهد كلاي للرياضيات The Millennium Prize Problems. وبتبسيط شديد، تقول إن بعض “الأشكال” المخبوءة في طوبولوجيا فضاء هندسي معرَّف بمعادلات كثيرات حدود يمكن دائمًا بناؤها من قطع أصغر هي نفسها معرَّفة بمعادلات.

في سبتمبر وأكتوبر 2026، نشرت OpenAI ثلاث وثائق موقّعة باسم “OAI”، تدّعي إثبات الحدسية في حالات خاصة: لبعض السطوح المسماة سطوح K3، ولجداءاتها، ولبعض الفضاءات ذات الأبعاد الثمانية. ثم سحبت OpenAI الثلاث لاحقًا. والآن يشرح يانكي ليكيلي (Yankı Lekili)، من إمبريال كوليدج لندن، ونيك شيريدان (Nick Sheridan)، من جامعة إدنبرة، بدقة أين أخطأت.

طريق صالح عبر المرآة

سلكت الوثائق مسارًا أنيقًا. ففكرة قوية تُسمى التناظر المرآتي المتماثل (homological mirror symmetry)، خمّنها مكسيم كونتسيفيتش (Maxim Kontsevich)، تربط فضاءً هندسيًا X بفضاء “مرآة” Y من نوع مختلف تمامًا، يُدرس في الهندسة السمبلكتية (symplectic geometry)، وهي هندسة موروثة من فيزياء الحركة، تُقاس فيها المساحات بدلًا من الأطوال. وبمجرد إثبات هذا الرابط، يمكن تحويل سؤال عن X إلى سؤال عن Y.

وهنا، لحسم مسألة هودج بالنسبة إلى X، يكفي بناء كائن بعينه في المرآة Y: شكل شبيه بالسطح يُسمى غمرًا لاغرانجيًا (Lagrangian immersion)، ويجب أن يكون أيضًا غير معاق (unobstructed)، وهو شرط تقني يجعله عضوًا مشروعًا في عُدّة المرآة. ويتفق ليكيلي وشيريدان على أن هذا نهج صالح. لكن المشكلة: بناء لاغرانجيات غير معاقة مسألة صعبة في حد ذاتها. وهنا تحديدًا انهارت الوثائق الثلاث.

حيث تدخل نقاط التقاطع

يُسمح للغمر بأن يتقاطع مع نفسه، وتحمل كل نقطة تقاطع عددًا هو درجتها (degree). والتقاطعات ذات الدرجة الفردية لا ضرر منها هنا. أما التقاطعات من الدرجة 2 فقد تُحدث إعاقة.

بنت الوثائق أولًا غمرًا تقريبيًا باستخدام تقنية مرنة، هي مبدأ h لغروموف (Gromov) وليز (Lees). ثم استندت إلى مبرهنة صدرت عام 2013 لتوبياس إيكهولم (Tobias Ekholm) وياكوف إلياشبرغ (Yakov Eliashberg) وإيمي مورفي (Emmy Murphy) وإيفان سميث (Ivan Smith) لترتيبه، بحيث تصبح درجة كل تقاطع فردية. ومع عدم بقاء أي تقاطع زوجي، يترتب انعدام الإعاقة.

علامة زائد كان ينبغي أن تكون ناقصًا

مبرهنة 2013 صحيحة. لكنها تعدّ التقاطعات باستخدام اصطلاح إشارة معاكس للاصطلاح القياسي. ولا يصرّح مؤلفوها بذلك قط؛ فهم يستخدمون اصطلاحهم باتساق، ويمكن استنتاجه من صيغهم وبرهانهم. أما وثائق OpenAI فاستخدمت الاصطلاح القياسي، أي أن إشارة واحدة انقلبت. وهذا مهم لأن نتيجة المبرهنة تتوقف على ما إذا كانت حصيلة معيّنة للتقاطعات، تُعدّ بالموجب والسالب، سالبة أم لا. وكانت الوثائق قد بنت غمرها بحيث تكون هذه الحصيلة سالبة، وهي الحالة التي ظنت أن كل تقاطع فيها يمكن جعله فرديًا. أما بإشارة المبرهنة نفسها، فالحصيلة ذاتها موجبة: أي الحالة الأخرى. ويبدو أن ناثان همفري (Nathan Humphrey) كان أول من لاحظ المشكلة وأبلغ بها OpenAI.

وحين تُقرأ الإشارة قراءة صحيحة، تروي المبرهنة قصة مختلفة. فبناؤها يترك دائمًا نقطة تقاطع واحدة من الدرجة 2، يسميها ليكيلي وشيريدان p. ويمكن جعل كل تقاطع آخر فرديًا؛ أما p فتبقى. وp كافية لكسر البرهان.

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

الصلب في مقابل المرن

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

ما الذي يبقى

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