OpenAI ने त्यांच्या Astra AI मॉडेलच्या मदतीने गणितातील १० अत्यंत क्लिष्ट प्रश्न सोडवले आहेत. हे प्रश्न अनेक वर्षांपासून अनुत्तरित होते, परंतु तज्ज्ञांनी सावध केले आहे की हे यश AI च्या सामान्य कामांमधील विश्वासार्हतेवर भाष्य करत नाही.
OpenAI चे मोठे यश: Astra AI ने सोडवले १० जुने गणिती कोडे
Artificial Intelligence (AI) च्या जगात OpenAI ने एक मोठे यश मिळवले आहे. कंपनीने जाहीर केले आहे की त्यांच्या Astra नावाच्या AI मॉडेलने गणितातील १० अत्यंत कठीण प्रश्न सोडवले आहेत, जे गेल्या दशकाहून अधिक काळ मानवी संशोधकांनाही सुटले नव्हते. या प्रश्नांमध्ये क्रिप्टोग्राफी, क्वांटम कॉम्प्युटिंग, भूमिती आणि ग्राफ थिअरी यांसारख्या विशेष क्षेत्रांचा समावेश आहे.
AI ची प्रक्रिया आणि पडताळणी
Astra AI ने केवळ गणिताचे तर्कशास्त्र (arguments) तयार केले नाही, तर त्याच AI च्या मदतीने त्यांना औपचारिक शोधनिबंधांच्या (research papers) रूपात विकसितही केले. या निकालांची अचूकता तपासण्यासाठी 'लीन' (Lean) नावाच्या विशेष सॉफ्टवेअरचा वापर करण्यात आला, जे गणित समुदायात औपचारिक पुराव्यांसाठी (formal proof verification) मोठ्या प्रमाणावर वापरले जाते. OpenAI च्या मते, या क्लिष्ट समस्या सोडवण्यासाठी API द्वारे अंदाजे $2,000 इतका खर्च आला, जो या विशिष्ट कामांसाठी AI ची उच्च कार्यक्षमता दर्शवतो.
वैज्ञानिक अनुप्रयोग आणि संशोधकांसाठी संधी
Astra ने सोडवलेल्या समस्यांमध्ये हाय-डायमेंशनल स्फिअर पॅकिंग (high-dimensional sphere packing), अरिथमेटिक सर्किट कॉम्प्लेक्सिटी (arithmetic circuit complexity) आणि क्लोजेस्ट वेक्टर प्रॉब्लेम (closest vector problem) यांचा समावेश आहे. याव्यतिरिक्त, OpenAI ने सांगितले की Astra ने कॉनेस रिजिडिटी कॉन्जेक्चर (Connes's rigidity conjecture) खोटे ठरवले आणि एक्सट्रीमल ग्राफ थिअरी (extremal graph theory) व रॅमसे थिअरी (Ramsey theory) मधील अनेक जुन्या प्रश्नांची उत्तरे दिली. या यशासोबतच, OpenAI ने 'ChatGPT for Academic Researchers' नावाचा उपक्रम सुरू केला आहे, ज्याद्वारे जगभरातील 100,000 शास्त्रज्ञ आणि गणितज्ञांना त्यांच्या नवीनतम AI मॉडेल्समध्ये विनामूल्य प्रवेश दिला जाईल, जेणेकरून संशोधनाला चालना मिळेल.
AI च्या मर्यादा आणि विश्वासार्हतेवर तज्ज्ञांचे मत
AI ची जटिल गणिती प्रमेय (mathematical proofs) सोडवण्याची क्षमता एक महत्त्वपूर्ण टप्पा असला तरी, उद्योग क्षेत्रातील तज्ज्ञ याकडे AI च्या सामान्य वापरासाठी असलेल्या विश्वासार्हतेचा पुरावा म्हणून पाहू नये असे स्पष्ट करत आहेत. कॉग्निटिव्ह सायंटिस्ट गॅरी मार्कस यांच्या मते, गणितासारख्या विशिष्ट आणि नियम-आधारित क्षेत्रांमधील उच्च कामगिरी हे AI मॉडेलमध्ये 'हॅलुसिनेशन' (hallucination) सारख्या समस्या नाहीत याची हमी देत नाही, ज्या जनरेटिव्ह AI प्रणालींमध्ये अजूनही दिसून येतात.
गुंतवणूकदार आणि सामान्य निरीक्षकांसाठी हा फरक महत्त्वाचा आहे. तार्किक आणि कडक नियमांवर आधारित समस्या सोडवणे, हे दस्तऐवजांचे अचूक अर्थ लावणे, जटिल सूचनांचे पालन करणे किंवा अनपेक्षित वास्तविक-जगातील वातावरणात त्रुटींशिवाय कार्य करण्यापेक्षा पूर्णपणे वेगळे आहे. उद्योगासाठी पुढील लक्ष हे असेल की OpenAI या विशेष तर्क प्रणालीचा वापर अधिक व्यापक आणि कमी संरचित कामांसाठी करू शकते की नाही, किंवा या क्षमता केवळ अत्यंत विशिष्ट डोमेनमध्येच मर्यादित राहतील. हे तंत्रज्ञान अजूनही सार्वजनिक वापरासाठी उपलब्ध नसल्याने, OpenAI च्या मुख्य उत्पादनांवर आणि जनरेटिव्ह AI क्षेत्रातील त्यांच्या स्थानावर याचा काय परिणाम होईल, हे या तर्क पद्धती किती यशस्वीपणे सामान्य-अॅप्लिकेशन्समध्ये समाविष्ट केल्या जातात यावर अवलंबून असेल.