AI कंपनी Anthropic मधील संशोधक Levent Alöge यांनी दावा केला आहे की, त्यांनी Claude AI मॉडेलचा वापर करून ८७ वर्षांपासून न सुटलेल्या जॅकोबियन कन्जेक्चरला (Jacobian Conjecture) खोडून काढले आहे. बीजगणितातील (Algebraic Geometry) या जुन्या समस्येवर आता जगभरातील गणितज्ञांकडून पडताळणी केली जात आहे.
Detailed Coverage
जॅकोबियन कन्जेक्चर: ८७ वर्षांचे गणिती आव्हान
शुद्ध गणिताच्या (Pure Mathematics) जगात एक मोठी बातमी समोर येत आहे. Levent Alöge नावाच्या गणितज्ञाने दावा केला आहे की, त्यांनी Anthropic च्या Claude AI मॉडेलच्या मदतीने जॅकोबियन कन्जेक्चरला (Jacobian Conjecture) खोडून काढले आहे. ही समस्या १९३९ पासून अनुत्तरित आहे. जर हे सिद्ध झाले, तर बीजगणित आणि कृत्रिम बुद्धिमत्तेच्या (Artificial Intelligence) जगात हे एक मोठे यश ठरेल.
जॅकोबियन कन्जेक्चर म्हणजे काय?
१९३९ मध्ये जर्मन गणितज्ञ Ott-Heinrich Keller यांनी हे कन्जेक्चर मांडले होते. हे पॉलीनोमिअल मॅप्सच्या (Polynomial Maps) गुणधर्मांशी संबंधित आहे. प्रश्न असा आहे की, जर पॉलीनोमिअल मॅपचा जॅकोबियन डिटरमिनंट (Jacobian determinant) हा शून्य नसेल, तर त्याचे पॉलीनोमिअल इन्व्हर्स (Polynomial inverse) अस्तित्वात असेल का? अनेक वर्षांच्या प्रयत्नांनंतरही हे एक मोठे कोडेच राहिले आहे.
AI ची गणिती शोधांमध्ये भूमिका
Anthropic कंपनीत काम करणारे Alöge यांनी सोशल मीडियावर आपले निष्कर्ष मांडले. त्यांनी तीन व्हेरिएबल्स (Variables) असलेले एक विशिष्ट पॉलीनोमिअल मॅप सादर केले, ज्याचा जॅकोबियन डिटरमिनंट स्थिर (-2) आहे. त्यांचा दावा आहे की, हे मॅप इन्व्हर्टिबल (Invertible) नाही. त्यांनी यासाठी तीन इनपुट पॉइंट्स (Input Points) सांगितले, जे समान आउटपुट देतात. जर हे खरे ठरले, तर ते कन्जेक्चरच्या अगदी विरोधात जाईल.
AI एक वैज्ञानिक सहाय्यक
या प्रकरणाचे वैशिष्ट्य म्हणजे AI चा वापर. मात्र, गणिती समुदायाचे निकष खूप कडक आहेत. जॅकोबियन कन्जेक्चर बीजगणित भूमितीमध्ये (Algebraic Geometry) खोलवर रुजलेले असल्यामुळे, कोणत्याही उपायासाठी किंवा प्रति-उदाहरणासाठी (Counterexample) सखोल पडताळणी आवश्यक आहे. आता स्वतंत्र तज्ञांना या निष्कर्षांची पुनरावृत्ती करून त्यांची तर्कशुद्धता तपासावी लागेल.
हा प्रकार वैज्ञानिक संशोधनात तंत्रज्ञानाच्या वाढत्या भूमिकेला अधोरेखित करतो. AI मॉडेल्स आता क्लिष्ट समस्या सोडवण्यासाठी, नमुने ओळखण्यासाठी आणि गृहितके तपासण्यासाठी वापरले जात आहेत. काहीजण AI मुळे गणितातील प्रगतीचा वेग वाढेल असे मानत असले, तरी अनेक तज्ञांच्या मते मानवी निरीक्षण आणि पडताळणी अजूनही आवश्यक आहे.