ChainThink संदेश, 1 अगस्त, OpenAI ने पहली बार अपने अगले प्रमुख मॉडल Astra की औपचारिक घोषणा की, जिसका आंतरिक संस्करण 10 लंबे समय से अनसुलझे गणित और प्रायोगिक कंप्यूटर विज्ञान समस्याओं पर नए परिणाम प्राप्त करता है।
इन समस्याओं के मूल निष्कर्षों में कम से कम 10 वर्षों से कोई प्रगति नहीं हुई है, और अधिकांश के लिए स्थिरता इससे भी अधिक समय तक रही है। इनमें, एस्ट्रा ने पहली बार एक गैर-सोफिक समूह का निर्माण किया, जिसने समूह सिद्धांत के एक मूलभूत खुले प्रश्न का उत्तर दिया;
Connes की कठोरता की कल्पना को खारिज करें और 3 Erdős समस्याओं को हल करें। शेष उपलब्धियाँ गोले के संकुलन, कोडिंग सिद्धांत, क्वांटम जटिलता और पोस्ट-क्वांटम क्रिप्टोग्राफी से संबंधित समस्याओं के लिए नए ऊपरी और निचली सीमाओं और कठिनाई साबित करने से संबंधित हैं।
OpenAI का कहना है कि मॉडल द्वारा इन 10 परिणामों को खोजने के लिए उपयोग किए गए टोकन की कीमत Sol API के अनुसार लगभग 2000 डॉलर है।
संबंधित गणितीय तर्क Astra द्वारा उत्पन्न किए गए, जिन्हें मानव द्वारा पेपर में संगठित किया गया, और मॉडल ने प्रत्येक सिद्धांत को Lean प्रमाण में बदल दिया, जिसका उपयोग कंप्यूटर द्वारा निष्कर्ष की वैधता की कदमदर कदम जांच के लिए किया जाता है।