20 अक्टूबर 2026 को arXiv की नई सूची में ऐसे काम सामने आए जिनमें गणितज्ञ सीधे तौर पर ChatGPT-6 Astra जैसे मॉडलों की मदद का उल्लेख करते हैं।
इनमें किसी भी k ≥ 3 के लिए सूरजमुखी के बारे में एर्दोश–सेमेरेडी अनुमान का प्रमाण भी शामिल है। लेखकों का कहना है कि केंद्रीय प्रमेय ChatGPT-6 Astra Pro ने ही खोजी थी।
पहले केवल k = 3 का मामला ज्ञात था, जो 2016 में cap-set की सफलता के कारण प्राप्त हुआ था। अब स्पष्ट सुधार की घोषणा की गई है: k-सूरजमुखी रहित परिवार का आकार 2^n से छोटी मात्रा तक सीमित है।
उसी सूची में एआई की भागीदारी वाले अन्य परिणाम भी हैं: बोरोडिन–कोस्तोचका अनुमान के लिए आकलन, पूर्णांक प्रोग्रामिंग की समस्याओं को हल करने के समय में सुधार, और क्रमविनिमेय स्थिति में आर्वेसन अनुमान के प्रति प्रतिउदाहरण।
कई लेखक लिखते हैं कि मॉडल ने मुख्य चरण या पूरे प्रमाण सुझाए, और लोगों ने उन्हें जाँचा और तैयार किया। कुछ कामों के साथ Lean-जाँच के उल्लेख हैं, हालाँकि फ़ाइलें अभी प्रकाशित नहीं हुई हैं।
सभी घोषित परिणाम स्वतंत्र समीक्षा की प्रतीक्षा में हैं। अभी वे «जाँच की प्रतीक्षा में» की स्थिति में हैं।
