$\exists \mathbb{R} \subseteq \textsf{CH}$

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

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

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

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

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

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

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