ओपनएआयने लिहिलेल्या समस्यांमुळे ॲस्ट्राने क्रॅक करण्यात मदत केली होती, "किमान एक दशकापासून त्यांच्या केंद्रीय निकालांमध्ये कोणतीही प्रगती झाली नाही आणि बहुतेक प्रकरणांमध्ये, जास्त काळ," OpenAI लिहिले. परिणाम उच्च-आयामी भूमिती, कोडिंग सिद्धांत, अंकगणित सर्किट जटिलता, समूह सिद्धांत, क्वांटम जटिलता, जाळी क्रिप्टोग्राफी आणि एक्स्ट्रीमल कॉम्बिनेटोरिक्ससह फील्ड व्यापतात — क्षेत्र जेथे प्रगती साधारणपणे वर्षांमध्ये मोजली जाते, एकच संशोधन चालत नाही.
सत्यापित पुरावे, फक्त उत्तरे नाहीत
Astra चे आउटपुट गणितात अंदाज लावणाऱ्या चॅटबॉटपासून वेगळे करते ते सत्यापन आहे. ओपनएआयने सांगितले की मानवी संशोधकांनी हस्तलिखिते म्हणून युक्तिवाद तयार करण्यासाठी समान मॉडेल वापरले आणि एस्ट्राने नंतर प्रत्येक युक्तिवादाला लीन प्रमाणपत्र म्हणून औपचारिक केले. लीन हा एक ओपन-सोर्स प्रूफ असिस्टंट आहे जो गणिती युक्तिवाद मशीन-तपासू शकतो, याचा अर्थ इतर गणितज्ञांना विश्वासावर निकाल घ्यावा लागत नाही — ते काही सेकंदात सॉफ्टवेअरद्वारे स्वतंत्रपणे सत्यापित केले जाऊ शकतात.
तो भेद महत्त्वाचा. भाषा मॉडेल एक प्रशंसनीय दिसणारा पुरावा देऊ शकते ज्यामध्ये सूक्ष्म, घातक त्रुटी असते. प्रत्येक युक्तिवाद लीनमध्ये अनुवादित करून, OpenAI ने मार्केटिंग दाव्याचे चेक करण्यायोग्य आर्टिफॅक्टमध्ये रूपांतर केले. BleepingComputer नुसार, ज्याने तपशीलांचा अहवाल दिला आहे, विशिष्ट प्रगतीमध्ये नॉन-सोफिक गटांचे अस्तित्व स्थापित करणारा पुरावा समाविष्ट आहे, समूह सिद्धांतातील एक प्रमुख खुला प्रश्न सोडवणे; Connes च्या कडकपणाच्या अनुमानाचा एक खंडन; उच्च-आयामी गोल पॅकिंगसाठी नवीन सीमा; आणि मूळ विपुल गणितज्ञ पॉल एर्डोस यांनी मांडलेल्या अनेक समस्यांचे निराकरण करणारे परिणाम.
OpenAI ने नमूद केले की हे उपाय शोधण्यासाठी आवश्यक असलेल्या टोकनच्या एकूण संख्येसाठी सध्याच्या API दरांवर अंदाजे $2,000 खर्च येईल - आधुनिक गणितीय शोधाच्या मोजणीच्या पाऊलखुणाबद्दल एक उल्लेखनीय डेटा पॉईंट, आणि जे केवळ प्रयोगशाळांऐवजी चांगल्या अर्थसहाय्यित शैक्षणिक संघांच्या आवाक्यात फ्रंटियर-स्तरीय संशोधन ठेवते.
गणितज्ञांची प्रतिक्रिया
थॉमस ब्लूम, मँचेस्टर विद्यापीठातील गणितज्ञ जे Erdős-समस्या संदर्भ साइट erdosproblems.com चालवतात, द डीकोडरच्या म्हणण्यानुसार, X वर निकालांना "मोठी बातमी" म्हटले आहे. त्यांनी त्यांना मे मध्ये प्रकाशित केलेल्या युनिट अंतर अनुमानाच्या प्रति उदाहरणापेक्षा अधिक महत्त्वपूर्ण रेट केले. "कदाचित युनिट अंतराच्या पुराव्यापेक्षा मोठा नसता, परंतु बांधकामांच्या बाबतीत, हे मोठे आहे," ब्लूमने लिहिले.AI गणितज्ञांची जागा घेत आहे या फ्रेमिंगच्या विरोधात ब्लूमनेही मागे ढकलले, असा युक्तिवाद केला की जेव्हा सिस्टीम एक शतकाहून अधिक सिद्धांत तयार करते, गणितज्ञांनी तयार केली होती आणि गणितज्ञांनी लिहिलेल्या प्रत्येक गोष्टीवर प्रशिक्षित होते तेव्हा या दाव्याला काही अर्थ नाही.
नोम ब्राउन, Astra ज्या चाचणी-वेळ तर्क तंत्रज्ञानावर अवलंबून आहे त्यामागील संशोधक, अधिक मोजले गेले. क्ले मॅथेमॅटिक्स इन्स्टिट्यूट प्रत्येकी 1 दशलक्ष डॉलर्स ऑफर करते अशा सात प्रसिद्ध समस्यांचा संदर्भ देत त्यांनी X वर पोस्ट केले, "खेदाची गोष्ट म्हणजे, मिलेनियम प्राईज प्रॉब्लेम नाहीत (अद्याप)," 2000 मध्ये बक्षिसे जाहीर झाल्यापासून फक्त एकच सोडवली गेली आहे.प्रत्येकजण प्रभावित झाला नाही. एआय समीक्षक गॅरी मार्कस यांनी सबस्टॅक पोस्टमध्ये मॉडेलला "आश्चर्यकारक — परंतु मोठ्या प्रमाणात जास्त विकले गेले" असे म्हटले, जेव्हा जेव्हा एखादी फ्रंटियर लॅब एक मैलाचा दगड दावा करते तेव्हा संशयाची एक परिचित ओळ असते. अस्सल तांत्रिक उपलब्धी आणि प्रचारात्मक फ्रेमिंग यांच्यातील तणावामुळे Astra कसे प्राप्त होते हे परिभाषित केले जाण्याची शक्यता आहे.
दीर्घ कार्यांसाठी एक नवीन मॉडेल कुटुंब
माहितीने स्वतंत्रपणे पुष्टी केली की Astra हे दीर्घकाळ चालणाऱ्या वर्कलोडसाठी तयार केलेले नवीन मॉडेल कुटुंब आहे. OpenAI एक अशी प्रणाली म्हणून त्याचे वर्णन करते जी एकापेक्षा जास्त AI एजंटना मोठ्या समस्येच्या वेगवेगळ्या भागांवर सहयोग करू देते — एक डिझाइन ज्याला सेकंदांपेक्षा तास किंवा दिवस लागतात, जसे की प्रमेय सिद्ध करणे किंवा मोठा कोडबेस रिफॅक्टर करणे.
BleepingComputer ने अहवाल दिला की OpenAI ने हे ठरवले नाही की मॉडेल GPT-5.7, GPT-6, किंवा दुसऱ्या नावाने पाठवले जाईल. सीईओ सॅम ऑल्टमन यांनी आधीच वॉशिंग्टन, डी.सी.मध्ये ॲस्ट्राचे प्रदर्शन केले आहे, डीकोडरने अहवाल दिला आहे की कंपनी धोरणकर्त्यांसमोर ठेवण्यासाठी सिस्टमला पुरेशी प्रौढ मानते.
एक सरकारी पुनरावलोकन अडथळा
कदाचित सर्वात परिणामकारक तपशील नियामक आहे. द डिकोडरच्या मते, Astra हे नियोजित यूएस सरकारच्या पुनरावलोकन प्रक्रियेतून जाणारे पहिले मॉडेल असेल ज्यास सार्वजनिक प्रकाशन करण्यापूर्वी अधिकृत मान्यता आवश्यक आहे. हे लाँच टाइमलाइनमध्ये राजकीय अनिश्चिततेचा एक स्तर जोडते ज्याचा आधीच्या फ्लॅगशिप मॉडेल्सनी कधीही सामना केला नाही — आणि ओपनएआय एस्ट्राच्या क्षमतांचे वैशिष्ट्य कसे दर्शविते यासाठी दावे वाढवते.
पदार्पण देखील एक भयंकर ओपन-वेट शर्यतीमध्ये येते. काही दिवसांपूर्वी, थिंकिंग मशिन्स लॅबने त्याचे इंकलिंग-स्मॉल ओपन-वेट मॉडेल जारी केले आणि चिनी लॅबने ओपन-वेट फ्रंटियर सिस्टमला पुढे ढकलणे सुरू ठेवले. एस्ट्रा ओपनएआयच्या पैजेला सूचित करते की मालकी, मोठ्या प्रमाणात तर्क - लीन सारख्या साधनांद्वारे सत्यापित - सर्वात मोठ्या यशाचा मार्ग आहे.
आत्तासाठी, Astra अप्रकाशित राहते. परंतु त्याच्या गणितीय पदार्पणाने शुध्द विज्ञानामध्ये कोणती सीमावर्ती एआय प्रणाली योगदान देऊ शकते आणि त्यांच्या सोबतच्या दाव्यांची जनतेने किती बारकाईने तपासणी केली पाहिजे याविषयी संभाषण आधीच तयार केले आहे.
AI च्या पुढे रहा
Astra आणि विस्तृत फ्रंटियर-मॉडेल शर्यती सारख्या घडामोडींसह चालू ठेवू इच्छिता? [नवीनतम AI घडामोडी] (https://aibuzzwire.news) साठी आमचे केंद्र बुकमार्क करा.
अधिक AI बातम्या वाचा →
