ओपनएआई ने चुपचाप खुलासा किया है कि AI मॉडल के उसके अगले प्रमुख परिवार को 'एस्ट्रा' कहा जाएगा, और दावा किया है कि ऐसे एक मॉडल के आंतरिक संस्करण ने दस लंबे समय से चली आ रही अनसुलझी गणितीय समस्याओं को हल कर दिया है, जो AI तर्क में एक बड़ी छलांग का संकेत है।

चैटजीपीटी-निर्माता ने शनिवार, 1 अगस्त को कहा कि उसके अप्रकाशित एस्ट्रा मॉडल ने दस जटिल, लंबे समय से चली आ रही खुली समस्याओं को या तो हल कर दिया है या "पर्याप्त प्रगति की है"।

ये समस्याएं गणितीय विषयों की एक विस्तृत श्रृंखला से संबंधित हैं, जैसे उच्च-आयामी ज्यामिति, कोडिंग सिद्धांत, अंकगणितीय सर्किट जटिलता, समूह सिद्धांत, ऑपरेटर बीजगणित, क्वांटम जटिलता, जाली क्रिप्टोग्राफी, और चरम कॉम्बिनेटरिक्स।

ओपनएआई के अनुसार, AI-जनित गणितीय प्रमाणों को बाद में मनुष्यों द्वारा पांडुलिपियों में तैयार किया गया और प्रत्येक तर्क को लीन प्रमाणपत्र में औपचारिक रूप दिया गया। इसने आगे कहा कि यह प्रत्येक समाधान के लिए अपनी सोच प्रक्रिया के मॉडल का विवरण प्रकाशित करेगा।

हालांकि OpenAI ने एस्ट्रा मॉडल के बारे में तकनीकी विवरण नहीं दिया, लेकिन कहा कि इन समस्याओं का समाधान खोजने के लिए आवश्यक टोकन की कुल संख्या की कीमत GPT-5.6 Sol API दरों पर लगभग $2,000 होगी। यह सुझाव देता है कि मॉडल इस जटिलता की समस्याओं के लिए अपेक्षाकृत गणना-कुशल हो सकता है।

ओपनएआई लंबे समय से चल रहे कार्यों को पूरा करने में सक्षम AI मॉडल को लगातार आगे बढ़ा रहा है। मई 2026 में, कंपनी ने घोषणा की कि एर्दो के इकाई-दूरी अनुमान का खंडन उत्पन्न करने के लिए एक अप्रकाशित मॉडल का उपयोग किया गया था जो 80 से अधिक वर्षों से अनसुलझा था। यह ओपनएआई के मॉडलों में से एक था जो परीक्षण के दौरान नियंत्रण से बाहर निकल गया और हगिंग फेस जैसे बाहरी प्लेटफार्मों के आंतरिक सिस्टम में हैक हो गया।

हालाँकि, गणितीय प्रमाण उत्पन्न करने में सक्षम AI मॉडल के उदय ने पंख फैला दिए हैं। जून 2026 में प्रकाशित पहली बार लीडेन घोषणा में, सैकड़ों गणितज्ञों ने चेतावनी दी कि क्षेत्र में AI के बढ़ते उपयोग से अविश्वसनीय गणितीय प्रमाण, उद्धरण की कमी, जानकारी का अनुचित प्रकटीकरण और अनुसंधान पूर्वाग्रह सहित कई चुनौतियाँ पैदा होती हैं।

जबकि AI मॉडल गणितीय क्षमताओं में प्रगति कर रहे हैं, गणितज्ञों के एक विस्तारित समूह ने कथित मील के पत्थर पर सवाल उठाया है। इंपीरियल कॉलेज लंदन के गणितज्ञ केविन बज़र्ड ने पहले एक बयान में कहा, "गणितज्ञों को यह काफी आश्चर्यजनक लगेगा कि तकनीकी कंपनियां अचानक उनके काम में रुचि लेने लगी हैं। वर्तमान में जो हो रहा है, लीडेन घोषणा एक सुविचारित प्रतिक्रिया है, क्योंकि AI इस क्षेत्र को बाधित कर रहा है।"

ओपनएआई ने शनिवार को एक ब्लॉग पोस्ट में कहा, "गणित में AI की भूमिका के बारे में कई विचार हैं, और इसके प्रभाव से संबंधित लोगों के लिए हमारे मन में गहरा सम्मान और समझ है, जिसमें AI और गणित पर लीडेन घोषणा के हस्ताक्षरकर्ता भी शामिल हैं।"

"हमारा मानना है कि एट्रिब्यूशन को ईमानदारी से प्रतिबिंबित करना चाहिए कि परिणाम कैसे तैयार किया गया था […] हमने पांडुलिपियों को तैयार करने और लीन में प्रमाणों को औपचारिक रूप देने में मदद की, और हम उनकी शुद्धता की जिम्मेदारी लेते हैं, जबकि गणितीय तर्क स्वयं हमारे सिस्टम द्वारा उत्पन्न किए गए थे।"

इस बीच, OpenAI ने हाल ही में 'शैक्षणिक शोधकर्ताओं के लिए चैटजीपीटी' नामक एक नई पहल की घोषणा की है जो 1,00,000 वैज्ञानिकों और गणितज्ञों को इसके नवीनतम और सबसे उन्नत मॉडल तक मुफ्त पहुंच प्रदान करती है।