सहस्राब्दी के परिवर्तन के करीब, संयुक्त राज्य अमेरिका में स्थित एक शोध संस्थान, क्ले मैथमेटिक्स इंस्टीट्यूट (CMI) ने एक महत्वाकांक्षी प्रयास के लिए दुनिया के प्रमुख गणितज्ञों को एक साथ लाया। संस्थान की वैज्ञानिक परिषद के नेतृत्व में, सात अद्वितीय गणितीय चुनौतियों का एक सेट चुना गया, जिससे 'सहस्राब्दी समस्याएं' नामक चुनौतियां सामने आईं।
CMI का प्रस्ताव स्पष्ट है: जो शोधकर्ता इनमें से किसी भी समस्या को पहली बार हल कर पाएगा, उसे दस लाख डॉलर का पुरस्कार दिया जाएगा। यह ध्यान रखना महत्वपूर्ण है कि सात समस्याओं में से कोई भी सरल नहीं मानी जाती है, क्योंकि उन्हें उन कुछ सबसे जटिल प्रश्नों का प्रतिनिधित्व करने के लिए चुना गया है जिनका सामना गणितज्ञ दूसरी सहस्राब्दी में संक्रमण के दौरान कर रहे थे।
24 मई, 2000 को, संस्थान ने सात समस्याओं की अंतिम सूची जारी की: बर्च और स्विन्नर्टन-डायर की परिकल्पना; होज का अनुमान; नेवियर-स्टोक्स समीकरणों के अस्तित्व और विशिष्टता की समस्या; पॉइंकेयर की परिकल्पना; पी बनाम एनपी समस्या; रीमैन परिकल्पना; और क्वांटम यांग-मिल्स सिद्धांत के लिए द्रव्यमान अंतराल की समस्या। CMI के अनुसार, इस पहल का उद्देश्य आम जनता को यह बताना है कि गणित में खुली सीमाएं हैं और कई महत्वपूर्ण प्रश्न अभी भी बिना उत्तर के हैं।
वर्तमान में, सहस्राब्दी समस्याएं क्षेत्र में सबसे अधिक अध्ययन किए जाने वाले विषयों में से हैं, और CMI ने उनके समाधान के लिए कोई अंतिम समय सीमा निर्धारित नहीं की है। पिछले 26 वर्षों में, केवल एक को आधिकारिक तौर पर हल किया गया है: पॉइंकेयर की परिकल्पना, जिसे 2003 में रूसी गणितज्ञ ग्रिगोरी पेरेलमैन द्वारा हल किया गया था। हालांकि, हाल ही में, OpenAI ने घोषणा की कि उसकी एक कृत्रिम बुद्धिमत्ता ने नेवियर-स्टोक्स समस्या को हल कर लिया है।
गणितीय अवधारणाओं को समझाने के लिए, एक द्वि-आयामी गोले को एक एकल बंद और जुड़ा हुआ सतह माना जाता है। एक व्यावहारिक उदाहरण सेब है: यदि एक रबर बैंड को इसकी सतह के चारों ओर खींचा जाता है, तो इसे बिना तोड़े या सतह से बाहर निकले एक एकल बिंदु तक कम किया जा सकता है। इसके विपरीत, उसी रबर बैंड की कल्पना एक सर्पिल आकार के चारों ओर खींची गई है, तो इसे रबर बैंड को तोड़ने या सर्पिल को तोड़ने के बिना एक बिंदु तक कम करना असंभव हो जाता है।
1904 में, हेनरी पॉइंकेयर ने पहचाना कि इस गतिशीलता को वस्तुओं की द्वि-आयामी सतहों द्वारा दर्शाया जा सकता है: सेब की सतह को 'सरल रूप से जुड़ा हुआ' वर्गीकृत किया गया है, जबकि सर्पिल का नहीं। पॉइंकेयर की परिकल्पना इस जांच की निरंतरता थी, जिसमें यह पता लगाया गया कि क्या द्वि-आयामी सतहों के बारे में यह खोज त्रि-आयामी आकृतियों पर भी लागू होती है।
2002 और 2003 के बीच, पेरेलमैन ने प्रदर्शित किया कि कोई भी बंद त्रि-आयामी स्थान जिसमें छेद न हों, एक गोले के समतुल्य है, इस प्रकार तीन आयामों में पॉइंकेयर की खोज की वैधता की पुष्टि की।
पी बनाम एनपी समस्या को वर्तमान में कंप्यूटर विज्ञान में सबसे बड़ी अनसुलझी चुनौती माना जाता है। यह निम्नलिखित प्रश्न पर आधारित है: यदि किसी निश्चित समस्या के समाधान की सटीकता की जाँच करना अपेक्षाकृत आसान है, तो क्या इसका मतलब यह भी है कि उस समाधान को खोजना आसान है?
क्ले मैथमेटिक्स इंस्टीट्यूट (CMI) स्वयं एक उदाहरण प्रदान करता है: कल्पना कीजिए कि 400 विश्वविद्यालय के छात्रों के लिए आवास व्यवस्थित करना है, जिनमें से केवल 100 को छात्रावास के लिए चुना जाएगा, और यह प्रतिबंध है कि कुछ छात्र एक साथ नहीं रह सकते। इस परिदृश्य में, यह जांचना आसान है कि क्या कोई विशिष्ट चयन मानदंडों को पूरा करता है, लेकिन शून्य से इस सूची को उत्पन्न करने की प्रक्रिया अत्यंत जटिल है।
गणितज्ञों का मानना है कि नेवियर-स्टोक्स समीकरण हवा और अशांति दोनों की भविष्यवाणी करने की अनुमति दे सकते हैं, क्योंकि ये समीकरण पानी जैसे तरल पदार्थों की गति का वर्णन करते हैं। हालांकि इन्हें 19वीं शताब्दी में तैयार किया गया था, इन समीकरणों की समझ काफी सीमित बनी हुई है। नेवियर-स्टोक्स समस्या सवाल करती है कि क्या ये समीकरण हमेशा सभी समयों के लिए एक वैध समाधान उत्पन्न करते हैं या क्या वे कुछ शर्तों के तहत एक विलक्षणता पैदा कर सकते हैं।
OpenAI द्वारा किया गया दावा सुझाव देता है कि उसने इस दूसरे प्रकार की स्थिति को सटीक रूप से परिभाषित किया है।
प्राकृतिक संख्याओं के बीच अभाज्य संख्याओं का वितरण कोई पूर्वानुमेय पैटर्न का पालन नहीं करता है। हालांकि, जर्मन गणितज्ञ जी.एफ.बी. रीमैन (1826-1866) ने देखा कि इन अभाज्य संख्याओं की आवृत्ति एक जटिल फलन के व्यवहार से जुड़ी हुई है। रीमैन परिकल्पना प्रस्तावित करती है कि $\zeta(s) = 0$ समीकरण के सभी गैर-तुच्छ शून्य एक विशिष्ट ऊर्ध्वाधर रेखा पर स्थित होते हैं। हालांकि इस कथन को पहले 10 ट्रिलियन समाधानों के लिए सिद्ध किया गया है, सभी समाधानों के लिए इसकी सत्यता अभी भी अज्ञात है।
1954 में, चेन निंग यांग और रॉबर्ट मिल्स ने ज्यामिति में पाए गए संरचनाओं का उपयोग करके मौलिक कणों का वर्णन करने के लिए एक नई संरचना पेश की। हालांकि यांग-मिल्स सिद्धांत अच्छी तरह से स्थापित है, इसकी गणितीय नींव अभी भी अस्पष्ट है। सिमुलेशन और प्रयोग एक 'द्रव्यमान अंतराल' के अस्तित्व की ओर इशारा करते हैं, जहां निर्वात से ऊपर न्यूनतम ऊर्जा अवस्था में एक न्यूनतम धनात्मक ऊर्जा होगी। चुनौती इस सिद्धांत के कठोर गणितीय अस्तित्व और इस अंतराल की घटना को साबित करने में निहित है।
बर्च और स्विन्नर्टन-डायर की समस्या दीर्घवृत्तीय वक्रों पर लागू संख्या सिद्धांत के भीतर एक नई परिकल्पना प्रस्तावित करती है। दीर्घवृत्तीय वक्र विशिष्ट समीकरणों द्वारा परिभाषित होते हैं, जैसे $y^2 = x^3 + ax + b$, और उनमें परिमेय निर्देशांक वाले बिंदुओं की एक सीमित या अनंत संख्या हो सकती है। यह परिकल्पना इन बिंदुओं की संख्या और वक्र से जुड़े एक गणितीय फलन के व्यवहार के बीच एक संबंध स्थापित करती है।
जैसा कि CMI बताता है, 'जब समाधान एक एबेलियन विविधता के बिंदु होते हैं, तो बर्च और स्विन्नर्टन-डायर की परिकल्पना बताती है कि परिमेय बिंदुओं के समूह का आकार $\zeta(s)$ से संबंधित एक फलन के व्यवहार से संबंधित होता है जो $s=1$ के पास होता है।'
वहीं, होज का अनुमान इस बात की जांच करता है कि कुछ ज्यामितीय स्थानों की टोपोलॉजिकल विशेषताओं को किस हद तक बीजगणितीय समीकरणों द्वारा परिभाषित तत्वों द्वारा समझाया जा सकता है। यह मानता है कि इन स्थानों के कुछ टोपोलॉजिकल गुण उप-स्थानों के संयोजन से मेल खाते हैं जिन्हें बीजगणितीय समीकरणों द्वारा भी वर्णित किया जा सकता है।
