OpenAI का नया मॉडल Astra 10 लंबे समय से चल रही गणित की समस्याओं को हल करता है

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