AI और दुनिया की कठिन समस्याएँ · गणित · Microsoft Research · 2026-10-21
गणित की 31 साल पुरानी महाचुनौती को सुलझाना – KLS अनुमान
मूल शीर्षक: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture

शोधकर्ताओं ने कन्नन–लोवास्ज़–साइमोनोविट्स (KLS) अनुमान को हल कर दिया, जो 1995 में प्रस्तावित किया गया था और उच्च-विमीय ज्यामिति में केंद्रीय अनसुलझे प्रश्नों में से एक के रूप में व्यापक रूप से माना जाता है। यह प्रमाण एक मानव-निर्देशित एजेंटिक प्रक्रिया से सामने आया, जिसमें AI सिस्टम गणितीय संभावनाओं का अन्वेषण करते रहे, जबकि शोधकर्ता उनका मूल्यांकन करते, उन्हें छाँटते और खोज को पुनर्निर्देशित करते रहे। यह परिणाम स्थापित करता है कि साधारण समतल कट्स विमा चाहे जो हो, एक नियत गुणक के भीतर लॉग-अवतल बंटनों के सबसे संकरे बॉटलनेक को पकड़ते हैं, और इसकी पुष्टि स्वतंत्र शोधकर्ताओं द्वारा की गई, जिसके बाद मशीन द्वारा जाँचा गया औपचारिक सत्यापन किया गया।