AI रिपोर्ट्स · Microsoft · 2026-10-21 · ब्लॉग / टिप्पणी
गणित की 31 साल पुरानी महाचुनौती को सुलझाना – KLS अनुमान
मूल शीर्षक: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
माइक्रोसॉफ्ट के एक शोधकर्ता और एक सहयोगी ने कन्नन–लोवास्ज़–सिमोनोवित्स (KLS) परिकल्पना का समाधान कर दिया है, जो 1995 में प्रस्तावित 31 साल पुरानी समस्या है और जिसे उच्च-विमीय ज्यामिति (high-dimensional geometry) के केंद्रीय अनसुलझे प्रश्नों में से एक व्यापक रूप से माना जाता था। यह परिणाम लॉग-कॉन्केव (log-concave) वितरणों के लिए एक सार्वभौमिक ज्यामितीय सिद्धांत स्थापित करता है, और दर्शाता है कि साधारण सपाट कट (flat cuts) विमा की परवाह किए बिना एक निश्चित गुणक के भीतर उनके सबसे संकरे बॉटलनेक को पकड़ लेते हैं। यह सफलता एक मानव-निर्देशित एजेंटिक शोध प्रक्रिया से उभरी, जिसमें AI सिस्टम संभावनाओं का अन्वेषण करते रहे, जबकि शोधकर्ता मूल्यांकन करके खोज को नई दिशा देते रहे, और इसकी स्वतंत्र रूप से पुष्टि की गई है तथा इसके बाद मशीन-जांचा हुआ औपचारिक सत्यापन (machine-checked formal verification) भी हुआ है।