تم حل مسألة رياضية أقدم من غوغل، وكان للذكاء الاصطناعي الدور الأكبر في البحث. أثبت باحث في مايكروسوفت حدسية كانان–لوفاس–سيمونوفيتس التي يبلغ عمرها 31 عامًا، بعد أن استكشف وكلاء الذكاء الاصطناعي أكثر من 100 نهج.

أعلنت Microsoft Research في 21 أكتوبر 2026 أن الباحثة الكبيرة Xinzhi Zhang والمتعاون Zhao Song قد أثبتا حدسية كانان–لوفاس–سيمونوفيتس، وهي مسألة مفتوحة مركزية في الهندسة عالية الأبعاد طُرحت عام 1995. وتُثبت ورقتهما المؤلفة من 140 صفحة "An O(1) Bound for the KLS Constant" (على arXiv في 1 أكتوبر، ورُوجعت في 4 أكتوبر) حدًّا لا يعتمد على البعد، باستخدام عملية بحث وكيلة موجَّهة بشريًّا استكشفت فيها أنظمة الذكاء الاصطناعي نحو 100 مسار بحثي بينما كان الباحثان يُقلّمان البحث ويُعيدان توجيهه. لماذا هذا مهم: تُعد حدسية KLS أساس نظرية أخذ العينات عالية الأبعاد المستخدمة في الإحصاء والتحسين والخوارزميات، وقد أكدتها فرق مستقلة وتحقق آلي عبر Lean 4، مما يمثل علامة فارقة في الاكتشاف الرياضي بمساعدة الذكاء الاصطناعي.

• Rohan Paul2026-10-22 06:11