OpenAI का अगली पीढ़ी का मॉडल Astra ने $2,000 की कंप्यूटेशन लागत में दस गणितीय समस्याएं हल कीं

1 अगस्त को, OpenAI ने गणित और सैद्धांतिक कंप्यूटर विज्ञान (theoretical computer science) में दस बड़ी सफलताओं की घोषणा की, जो उसके अगली पीढ़ी के मुख्य मॉडल Astra के एक आंतरिक संस्करण द्वारा हासिल की गई थीं। Sol API की कीमत के अनुसार, इन समस्याओं का समाधान खोजने में इस्तेमाल हुए टोकन की कुल लागत लगभग 2,000 डॉलर रही। इन दस सफलताओं में शामिल हैं: उच्च आयामों (high dimensions) में सघन गोला पैकिंग (dense sphere packing) की ऊपरी सीमाओं का निर्धारण, बाइनरी और गोलाकार कोड सीमाओं (binary and spherical code bounds) में सुधार, गैर-हल-योग्य सोफी समूहों (non-solvable Sophie groups) के अस्तित्व का प्रमाण, कोन्स कठोरता अनुमान (Connes rigidity conjecture) का खंडन, अंकगणितीय परिपथ जटिलता (arithmetic circuit complexity) के लिए नई निचली सीमाएँ, क्वांटम समानांतर पुनरावृत्ति प्रमेय (quantum parallel repetition theorem), निकटतम सदिश समस्या (closest vector problem) के लिए बहुपद-गुणांक सन्निकटन कठिनाई (polynomial-factor approximation hardness) का प्रमाण, एहरहार्ट आयतन अनुमान (Ehrhart volume conjecture), बहु-रंगीय रैमज़े संख्याओं (multicolor Ramsey numbers) के लिए अति-चरघातांकी निचली सीमाएँ, और चरम संख्या अनुमान (extremal number conjectures)।