20 অক্টোবর 2026 সালে arXiv-র সাম্প্রতিক তালিকায় এমন কিছু কাজ প্রকাশিত হয়েছে যেখানে গণিতবিদরা সরাসরি ChatGPT-6 Astra-র মতো মডেলের সহায়তার কথা উল্লেখ করেছেন।
এর মধ্যে রয়েছে যেকোনো k ≥ 3-এর জন্য সূর্যমুখী সম্পর্কিত এর্দোশ–সেমেরেদি অনুমানের প্রমাণ। লেখকরা উল্লেখ করেছেন যে কেন্দ্রীয় উপপাদ্যটি খুঁজে পেয়েছে স্বয়ং ChatGPT-6 Astra Pro।
পূর্বে কেবল k = 3 ক্ষেত্রটি জানা ছিল, যা 2016 সালে cap-set-সংক্রান্ত অগ্রগতির ফলে পাওয়া গিয়েছিল। এখন স্পষ্ট উন্নতির দাবি করা হয়েছে: k-সূর্যমুখীমুক্ত পরিবারের আকার 2^n-এর চেয়ে ছোট একটি মান দ্বারা সীমাবদ্ধ।
একই তালিকায় কৃত্রিম বুদ্ধিমত্তার অংশগ্রহণে অন্যান্য ফলাফলও রয়েছে: বোরোদিন–কোস্তোচকা অনুমানের জন্য একটি অনুমান-মান, পূর্ণসংখ্যা প্রোগ্রামিং সমস্যা সমাধানের সময়ের উন্নতি এবং বিনিময়যোগ্য ক্ষেত্রে আরভেসন অনুমানের প্রতি পাল্টা-উদাহরণ।
অনেক লেখক লিখেছেন যে মডেলটি মূল ধাপ বা সম্পূর্ণ প্রমাণ প্রস্তাব করেছিল, আর মানুষ সেগুলো যাচাই ও সম্পাদনা করেছে। কিছু কাজে Lean-যাচাইয়ের উল্লেখ রয়েছে, যদিও ফাইলগুলো এখনো প্রকাশিত হয়নি।
ঘোষিত সব ফলাফল স্বাধীন পর্যালোচনার অপেক্ষায় রয়েছে। আপাতত সেগুলো «যাচাইয়ের অপেক্ষায়» অবস্থায় রয়েছে।
