Odaily स्टार डेली की रिपोर्ट के अनुसार, OpenAI ने अपने अगली पीढ़ी के AI मॉडल Astra के शोध परिणाम जारी किए, जिसमें उच्च-आयामी ज्यामिति, कोडिंग सिद्धांत, समूह सिद्धांत, क्वांटम जटिलता, पोस्ट-क्वांटम क्रिप्टोग्राफी और चरम संयोजनीय गणित जैसे क्षेत्रों में प्रगति हुई है। इनमें से 10 परिणामों में शामिल हैं: उच्च-आयामी गोले के संकुलन समस्या, बाइनरी और गोलीय कोडिंग समस्या, गैर-सोफिक समूह समस्या, कॉन्स रिजिडिटी अनुमान, अंकगणितीय सर्किट जटिलता समस्या, क्वांटम समानांतर पुनरावृत्ति समस्या, निकटतम सदिश समस्या, एहरहार्ट आयतन अनुमान, बहु-रंगी Ramsey संख्या समस्या, और चरम ग्राफ सिद्धांत अनुमान।
बताया गया है कि इन परिणामों का निष्कर्ष Astra मॉडल के आंतरिक संस्करण द्वारा निकाला गया था, और समाधान खोजने के लिए लगभग 2000 डॉलर (Sol API मूल्य के अनुसार) की गणना लागत खर्च हुई। इसके बाद, मानव शोधकर्ताओं ने एक ही मॉडल की सहायता से पेपर को संगठित किया और Lean फॉर्मल प्रूफ सिस्टम के माध्यम से सत्यापन योग्य प्रमाण पत्र बनाए।