باحث في Microsoft ومتعاون معه يثبتان حدسية KLS التي مضى على طرحها 31 عامًا

أعلنت Microsoft Research في 21 أكتوبر 2026 أن شينتشي تشانغ، وهو باحث أول في مجموعة تعلم الآلة والتحسين التابعة لها، والمتعاون معه تشاو سونغ، قد أثبتا حدسية كانان–لوفاس–سيمونوفيتش، وهي مسألة طُرحت قبل 31 عامًا في مجالَي الهندسة عالية الأبعاد والاحتمالات، وذلك باستخدام عملية بحثية قائمة على وكلاء الذكاء الاصطناعي بتوجيه بشري.

الحدسية والحد الجديد

يَرِد البرهان في بحث من 140 صفحة بعنوان حد أعلى من الرتبة O(1) لثابت KLS، من تأليف تشاو سونغ وشينتشي تشانغ. وقد قُدّم البحث لأول مرة إلى arXiv في 1 أكتوبر 2026، ثم نُقّح في 4 أكتوبر 2026، وكان تشانغ هو المؤلف الذي قدّمه. ويذكر الملخص أن المؤلفين يثبتون أن ثابت KLS، ψ_n، لا يتجاوز ثابتًا كونيًا C، ما يحسم الحدسية، كما يثبتون حدًا كونيًا لثابت بوانكاريه لكل مقياس احتمالي محدب لوغاريتميًا ومتساوي الخواص.

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

قبل هذا العمل، كانت أفضل نتيجة معروفة هي البحث المؤلف من 21 صفحة ثابت KLS هو O(log^{1/4} n)، الذي أعدّه برايدن ليتوين وقدّمه في 27 يوليو 2026. وأثبت البحث أن ψ_n لا يتجاوز ثابتًا مضروبًا في log^{1/4} n، وهو حد، وفقًا لما يشير إليه منشور Microsoft Research، ظل يزداد ببطء مع زيادة عدد الأبعاد. أما العمل الجديد، فيعطي حدًا ثابتًا لا يتغير بتغير البعد.

كانت أهمية الحدسية معروفة قبل حلها بوقت طويل. ويذكر المنشور أن التقرير السنوي لمعهد أبحاث العلوم الرياضية للفترة 2017–18 وصف حدسية KLS بأنها مسألة مفتوحة محورية في الهندسة المحدبة عالية الأبعاد، وأن معهد سيمونز وصفها بأنها من أهم المسائل المفتوحة في الهندسة المحدبة، كما أشار رونين إلدان إلى آثارها الواسعة في وقائع المؤتمر الدولي لعلماء الرياضيات لعام 2022.

عملية بحث قائمة على الوكلاء بتوجيه بشري

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

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

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

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

براهين مستقلة وتحقق آلي

في 4 أكتوبر 2026، وهو اليوم نفسه الذي نُشر فيه البرهان الكامل، نشر Pierre Bizeul وBoaz Klartag وJoseph Lehec برهانًا من 32 صفحة عملوا عليه بالتوازي، بعنوان «عرض برهان حدسية Kannan-Lovász-Simonovits». ويذكر ملخص الورقة أن «الخطوة الحاسمة في البرهان هي المعيار الحديث جدًا الذي وضعه Song وZhang، ويتعلق بالمشتقات عالية الرتبة لمتوسطات الإمالة»، كما تشير تعليقات arXiv إلى أن الورقة تتضمن فقرة تصف استخدام الذكاء الاصطناعي. ويضع الملخص حدسية KLS إلى جانب مسألة التقطيع لبورغين وحدسية التباين، بوصفها من القوى الدافعة للتطورات الرياضية في الهندسة عالية الأبعاد خلال العقود الأخيرة.

نشر Krishnakumar Balasubramanian وShiva Kasiviswanathan برهانًا منفصلًا بعنوان حدّ لا يعتمد على البُعد لثابت بوانكاريه للتوزيعات اللوغاريتمية المقعرة المتساوية الخواص، وقد قُدّم لأول مرة في 6 أكتوبر 2026 ونُقّح في 8 أكتوبر 2026. ويصف ملخصه برهانًا تغايريًا حتميًا يتضمن حدًا صريحًا قدره 25 لثابت بوانكاريه لأي مقياس احتمالي لوغاريتمي التقعر ومتساوي الخواص.

تبع ذلك إضفاء صياغة رسمية على البرهان باستخدام Lean 4، في مشروع اسمه KLS500، يصوغ ثابت بوانكاريه لا يعتمد على البُعد ولا يتجاوز 500 لكل قانون احتمالي لوغاريتمي التقعر ومتساوي الخواص. ووفقًا للمستودع، يستند هذا العمل أساسًا إلى منهج التراكم والتعليق الذي اتبعه Bizeul وKlartag وLehec، مع تضمين معيار الإمالة–الطيف الذي وضعه Song وZhang؛ وقد أعادت عملية التحقق بناء 1,710 وحدات رياضية عند مستوى ثقة صفري بالنواة. واجتاز التحقق باستخدام Lean أيضًا الصياغة الدقيقة لحدسية KLS التي عرّفتها OpenAI، مستخدمًا ثابت بوانكاريه العام 500. والمشروع مرخّص بموجب Apache 2.0.

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