OpenAI ने Astra नाम से एक नया मॉडल परिवार पेश किया है, जिसमें कई AI एजेंट घंटों या दिनों तक मिलकर कठिन समस्याओं पर काम कर सकते हैं। इसके आंतरिक संस्करण ने गणित और सैद्धांतिक कंप्यूटर विज्ञान की दस ऐसी खुली समस्याएँ हल कीं जिन्हें विशेषज्ञ कम से कम एक दशक से नहीं सुलझा पाए थे — जिनमें non-sofic समूहों के अस्तित्व का प्रमाण भी शामिल है; प्रमाण Lean में औपचारिक किए गए हैं ताकि मशीनें उन्हें जाँच सकें। API दरों पर कुल लागत: लगभग $2,000। Sam Altman ने वॉशिंगटन में नीति-निर्माताओं को यह सिस्टम दिखाया; यह GPT-6, GPT-5.7 या अलग श्रेणी के रूप में आ सकता है और अमेरिकी सरकार की नियोजित रिलीज़-पूर्व समीक्षा से गुज़रने वाला पहला मॉडल होने की उम्मीद है। (सुधार: OpenAI ने बाद में यह दावा वापस ले लिया कि इन समस्याओं पर कम से कम एक दशक से कोई प्रगति नहीं हुई थी; नामित गणितज्ञों का कहना है कि कई प्रमाण उन प्रकाशित कार्यों पर आधारित हैं जिन्हें श्रेय नहीं दिया गया।)