OpenAI ने Astra का खुलासा किया, एक AI मॉडल जिसने दस गणितीय समस्याएं हल कीं जिनसे गणितज्ञ दशकों से जूझ रहे थे

OpenAI ने आधिकारिक तौर पर एक नए AI मॉडल, Astra के अस्तित्व की पुष्टि की है, और इसे अपना 'अगला प्रमुख मॉडल परिवार' बताया है। Astra के एक आंतरिक संस्करण ने गणित और सैद्धांतिक कंप्यूटर विज्ञान की दस खुली समस्याओं को हल करने में मदद की, जिन पर शोधकर्ता कम से कम दस वर्षों से असफल रूप से काम कर रहे थे, और कुछ मामलों में बहुत लंबे समय से। हल की गई समस्याओं में उच्च-आयामी ज्यामिति, कोडिंग सिद्धांत, समूह सिद्धांत, क्वांटम जटिलता, जालक-आधारित क्रिप्टोग्राफी और चरम साहचर्य सिद्धांत के विषय शामिल हैं। विशेष रूप से, Astra ने एक गैर-सोफिक समूह का पहला उदाहरण बनाया, एक ऐसी वस्तु जिसके अस्तित्व पर कई वर्षों से चर्चा हो रही थी। मैनचेस्टर विश्वविद्यालय के गणितज्ञ थॉमस ब्लूम ने इन परिणामों को 'बड़ी खबर' बताया, यह देखते हुए कि वे मई के इकाई दूरी अनुमान के प्रतिउदाहरण की तुलना में अधिक महत्वपूर्ण हैं, लेकिन उनका मानना नहीं है कि गणितज्ञों की जगह जल्द ही AI ले लेगा, क्योंकि AI सिस्टम गणितीय समुदाय के दीर्घकालिक कार्य पर निर्मित होते हैं। OpenAI में तर्क प्रौद्योगिकी के विकासकर्ता नोआम ब्राउन ने कहा कि कंपनी ने Astra को अन्य प्रसिद्ध खुली समस्याओं पर लागू करने का प्रयास किया है, लेकिन अभी तक सफलता नहीं मिली है, और उन्होंने X पर लिखा: 'दुर्भाग्य से, अभी तक कोई मिलेनियम पुरस्कार समस्या नहीं।' क्ले गणित संस्थान सात मिलेनियम पुरस्कार समस्याओं में से प्रत्येक के लिए 1 मिलियन डॉलर का भुगतान करता है, जिनमें से 2000 के बाद से केवल एक ही हल हुआ है। OpenAI का अनुमान है कि सभी दस समाधानों के लिए आवश्यक कंप्यूटिंग की लागत उसके Sol मॉडल के वर्तमान API दरों पर लगभग 2,000 डॉलर होगी। शोधकर्ताओं ने विचारों को पूर्ण वैज्ञानिक पत्रों में बदल दिया, और सभी प्रमाणों को Lean में औपचारिक रूप दिया गया, एक प्रणाली जो एक प्रोग्रामिंग भाषा और एक इंटरैक्टिव प्रमाण जाँचकर्ता को जोड़ती है, जो मशीन-सत्यापित प्रमाण प्रदान करती है। OpenAI ने प्रत्येक परिणाम के लिए चरण-दर-चरण तर्क प्रकाशित किया है, इस बात पर जोर देते हुए कि शोधकर्ता अंतिम प्रकाशनों के लिए जिम्मेदार हैं, लेकिन गणितीय विचार और प्रमाण तर्क Astra से आए हैं। इससे पहले, OpenAI ने कहा था कि वह लंबे और जटिल कार्यों के लिए एक नया मॉडल परिवार विकसित कर रहा है, और CEO सैम ऑल्टमैन ने Astra को अमेरिकी सरकार और नियामक अधिकारियों से परिचित कराया, जिसमें कई AI एजेंटों को समन्वयित करने की उसकी क्षमता पर प्रकाश डाला गया। सूत्रों के अनुसार, Astra Sol, Terra और Luna मॉडल परिवारों में शामिल होगा, और इसका व्यावसायिक नाम अज्ञात है। OpenAI ने एक विस्तृत तकनीकी रिपोर्ट प्रकाशित करने का वादा किया है। नए मॉडल आंतरिक परीक्षण से गुजर रहे हैं और उन्नत AI मॉडलों के लिए अमेरिकी प्रक्रिया के तहत मूल्यांकन किए जाने वाले पहले मॉडल होंगे, जिसमें एक प्रमुख चुनौती स्थिर लंबी-श्रृंखला तर्क है।