OpenAI ने पुष्टि की: अगला बड़ा मॉडल परिवार Astra, एक साथ दस गणित की खुली समस्याएं हल कीं

OpenAI ने आधिकारिक तौर पर अपने अगले प्रमुख मॉडल परिवार का नाम Astra पुष्टि कर दिया है, और एक गणित रिपोर्ट प्रकाशित की है जिसमें दिखाया गया है कि Astra के एक आंतरिक संस्करण ने गणित और सैद्धांतिक कंप्यूटर विज्ञान में दस पहले से अनसुलझी समस्याओं को हल किया है। ये समस्याएं उच्च-आयामी ज्यामिति, कोडिंग सिद्धांत, समूह सिद्धांत, क्वांटम जटिलता, जाली क्रिप्टोग्राफी, और चरम कॉम्बिनेटरिक्स सहित विविध क्षेत्रों में फैली हुई हैं। हल की गई समस्याओं में गैर-सोफिक समूहों के अस्तित्व का प्रमाण शामिल है, जो समूह सिद्धांत में एक केंद्रीय खुला प्रश्न है। मैनचेस्टर विश्वविद्यालय के गणितज्ञ थॉमस ब्लूम ने एक्स पर इन परिणामों को 'बड़ी खबर' बताया, और उन्हें मई में प्रकाशित इकाई दूरी अनुमान के प्रतिउदाहरण से ऊपर दर्जा दिया। Astra के अंतर्निहित परीक्षण-समय तर्क तकनीक के पीछे प्रमुख व्यक्ति नोआम ब्राउन ने एक्स पर स्वीकार किया कि OpenAI अन्य प्रमुख समस्याओं पर भी विफल रहा, जिसमें मिलेनियम पुरस्कार समस्याएं शामिल हैं, और उन्होंने नोट किया कि उन्होंने प्रति समस्या अधिक कम्प्यूटेशनल शक्ति खर्च नहीं की और परीक्षण-समय कंप्यूट को और बढ़ाया जा सकता है। ब्राउन ने Astra को 'वैज्ञानिक तर्क के लिए एक बड़ा कदम' बताया। समाधानों की कम्प्यूटेशनल लागत उल्लेखनीय रूप से कम थी: OpenAI के अनुसार, आवश्यक टोकन की लागत Sol मॉडल की एपीआई कीमतों पर लगभग 2,000 डॉलर होती। फिर तर्कों को मनुष्यों द्वारा उसी मॉडल के साथ मिलकर पांडुलिपियों में संसाधित किया गया, और प्रत्येक प्रमाण को लीन सर्टिफिकेट में औपचारिक रूप दिया गया, जो गणितीय शुद्धता की मशीन-सत्यापन योग्य पुष्टि है। OpenAI ने प्रत्येक समाधान के लिए मॉडल की सोच प्रक्रिया का एक विवरण भी प्रकाशित किया। कंपनी ने स्पष्ट किया कि जबकि उन्होंने पांडुलिपि तैयार करने और औपचारिकता में मदद की और शुद्धता की जिम्मेदारी ली, गणितीय तर्क स्वयं सिस्टम से आए, और पूरी तरह से एआई-जनित प्रमाण के लिए मानवीय लेखकत्व का दावा करना सिस्टम के योगदान और वास्तविक मानव बौद्धिक कार्य की प्रकृति दोनों को गलत तरीके से प्रस्तुत करेगा, जो लीडेन घोषणा पर एआई और गणित के हस्ताक्षरकर्ताओं का संदर्भ देता है। ब्लूम ने इस विचार को सापेक्ष किया कि एआई गणितज्ञों की जगह लेता है, यह तर्क देते हुए कि यह कहना उचित नहीं है जब एआई एक सदी से अधिक के गणितीय सिद्धांत पर निर्मित होता है, गणितज्ञों द्वारा बनाया गया था, और गणितज्ञों ने जो कुछ भी लिखा है उस पर प्रशिक्षित किया गया था। पिछली रिपोर्टों ने संकेत दिया था कि सीईओ सैम ऑल्टमैन ने वाशिंगटन डी.सी. में राजनेताओं और नियामकों को Astra का प्रदर्शन किया, और Astra मौजूदा Sol, Terra, और Luna परिवारों से अलग एक नई श्रेणी का मॉडल है, जिसके GPT-6 के रूप में या GPT-5 श्रृंखला के भीतर GPT-5.7 जैसे वेरिएंट के रूप में जारी होने की संभावना है। Astra से पहला मॉडल होने की उम्मीद है जो ट्रम्प प्रशासन के नियोजित नए ढांचे से गुजरेगा, जिसके लिए सार्वजनिक रिलीज से पहले संघीय सरकार की समीक्षा आवश्यक है। मॉडल को विस्तारित अवधि में मल्टी-एजेंट सहयोग के लिए डिज़ाइन किया गया है, जिसका उद्देश्य जटिल परियोजनाओं और उन्नत गणितीय कार्यों को हल करना है। OpenAI ने एआई सिस्टम विकसित करने का अपना लक्ष्य बताया है जो घंटों या दिनों तक समस्याओं पर काम कर सकते हैं, और मार्च 2028 तक इसका लक्ष्य पूरी तरह से स्वायत्त एआई शोधकर्ता को पूरा करना है।