आम्ही अंतर्गत अत्याधुनिक मॉडेलने मिळवलेले विविध नवे गणिती निष्कर्ष प्रकाशित करत आहोत.
गणित क्षेत्रातील समुदायासमोर निष्कर्ष मांडण्याची प्रमाणित पद्धत ठरवण्यासाठी आम्ही प्रयत्नशील आहोत. यासाठी सर्वोत्तम कार्यपद्धती विकसित करण्याबाबत आम्ही प्रगत अध्ययन संस्थेतील गणित आणि कृत्रिम बुद्धिमत्ता या विषयांवरील स्वतंत्र सल्लागार गटाशी(नवीन विंडोमध्ये उघडेल) सल्लामसलत करत आहोत. हे निष्कर्ष प्रकाशित करण्याच्या पद्धतीत आम्ही त्यांचा सल्ला आणि त्यांच्या सार्वजनिक शिफारशींचा(नवीन विंडोमध्ये उघडेल) समावेश करत आहोत.
या वेळी आम्ही निष्कर्ष GitHub रिपॉझिटरीमध्ये प्रकाशित करत आहोत. त्यासोबत शोधनिबंधांतील सुधारणांसाठी आणि संदर्भ देण्यासाठी नियमावलीही देत आहोत. हे निष्कर्ष प्रकाशित करण्यासाठी समितीच्या मार्गदर्शक तत्त्वांशी सुसंगत असे, समुदायाने उपलब्ध करून दिलेले इतर पर्यायही आम्ही शोधत आहोत. भविष्यात प्रकाशित होणारे शोधनिबंध अधिक चांगल्या प्रकारे समजावेत, यासाठी त्यांतील संदर्भ, गणिती विवेचन आणि निष्कर्षांची मांडणी सुधारून त्यांची गुणवत्ता आणखी उंचावण्यास आम्ही वचनबद्ध आहोत.
आमच्या GitHub रिपॉझिटरीमध्ये आम्ही अनेक सिद्धतांची Lean मधील औपचारिक रूपेही उपलब्ध करून देत आहोत. Lean ही संगणकाद्वारे गणिती सिद्धता तपासता येतील अशी संगणकीय भाषा आहे. आणखी औपचारिक रूपे उपलब्ध होतील तशी ती रिपॉझिटरीमध्ये समाविष्ट करू.
वैज्ञानिक पारदर्शकतेला आणि खुलेपणाला चालना देण्यासाठी, हे निष्कर्ष आम्ही कसे मिळवले याचे अतिरिक्त तपशीलही रिपॉझिटरीमध्ये प्रकाशित करत आहोत. यामध्ये मॉडेलच्या रीझनिंगचे 10 सारांश, ChatGPT वरील Pro वापराच्या हिशेबात मांडलेले संगणकीय संसाधनांच्या खर्चाचे अंदाज आणि सोडवण्याचा प्रयत्न केलेल्या प्रश्नांच्या संख्येची आकडेवारी यांचा समावेश आहे. प्रत्येक निष्कर्षासाठी सरासरी इतकी संगणकीय संसाधने लागली, जितकी ChatGPT Pro ला सुमारे तीन तास विचार करण्यासाठी लागतात.
या प्रगतीमुळे मानवी ज्ञानाच्या कक्षा रुंदाव्यात आणि गणितात आणखी प्रगती साधता यावी, अशी आमची इच्छा आहे. कृत्रिम बुद्धिमत्तेने मिळवलेले महत्त्वाचे निष्कर्ष समजून घेण्यावर केंद्रित कार्यशाळा, परिषदा आणि विशेष कार्यक्रमांच्या मालिकेला आम्ही निधी देणार आहोत. याबद्दल अधिक माहिती लवकरच देऊ.
शास्त्रज्ञांना थेट अत्याधुनिक क्षमतांनी सक्षम करण्याची आमची इच्छा आहे. हे निष्कर्ष मिळवणारे मॉडेल जबाबदारीने उपलब्ध करून देण्यासाठी आम्ही काम करत आहोत. म्हणूनच गणित आणि इतर विज्ञानशाखांमध्ये आमच्या अंतर्गत अत्याधुनिक मॉडेलचे मूल्यमापन सातत्याने करणे महत्त्वाचे आहे. त्यामुळे या क्षेत्रांच्या प्रगतीसाठी उपयुक्त साधने विकसित करण्याला आम्ही वेग देऊ शकू. आम्ही समुदायाच्या अभिप्रायानुसार कृती करत राहू आणि भविष्यातील महत्त्वाच्या वैज्ञानिक प्रगतीची माहिती जाहीर करण्यासाठीची आमची मानके अद्ययावत करत राहू.
