الذكاء الاصطناعي ومشكلات العالم الصعبة · الرياضيات · Microsoft Research · 2026-10-21

حل تحدٍّ رياضي كبير عمره 31 عامًا – حدس KLS

العنوان الأصلي: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture

حلّ الباحثون حدس Kannan–Lovász–Simonovits (KLS) المطروح عام 1995 والذي يُنظر إليه على نطاق واسع بوصفه واحدًا من الأسئلة المفتوحة المحورية في الهندسة عالية الأبعاد. وقد نشأ الإثبات من عملية وكلائية (agentic) موجَّهة بشريًا استكشفت فيها أنظمة الذكاء الاصطناعي الإمكانات الرياضية بينما كان الباحثون يقيّمون الخيارات ويقلّصونها ويعيدون توجيه البحث. وتُثبت النتيجة أن المقاطع المستوية البسيطة تلتقط أضيق الاختناقات في التوزيعات المحدبة لوغاريتميًا ضمن معامل ثابت بغض النظر عن البُعد، وقد أكّدها باحثون مستقلون تلاها تحقق شكلي مدقَّق آليًا.

اقرأ المصدر الأصلي ↗

جميع العناصر →