في 20 أكتوبر 2026 ظهرت في القائمة الجديدة لـ arXiv أعمال يشير فيها علماء الرياضيات صراحةً إلى مساعدة نماذج مثل ChatGPT-6 Astra.
ومن بينها إثبات حدسية إردوش–سيميريدي عن عبّاد الشمس لأي k ≥ 3. ويشير المؤلفون إلى أن ChatGPT-6 Astra Pro هو من وجد المبرهنة المركزية.
سابقًا كانت الحالة k = 3 وحدها معروفة، وقد أُنجزت في عام 2016 بفضل الاختراق المتعلق بـ cap-set. والآن أُعلن عن تحسين صريح: حجم العائلة الخالية من k-عبّاد الشمس محدود بقيمة أقل من 2^n.
وفي القائمة نفسها نتائج أخرى بمشاركة الذكاء الاصطناعي: تقدير لحدسية بورودين–كوستوتشكا، وتحسين زمن حل مسائل البرمجة الصحيحة، وأمثلة مضادة لحدسية أرفيسون في الحالة التبادلية.
يكتب كثير من المؤلفين أن النموذج اقترح خطوات رئيسية أو براهين كاملة، بينما تولّى البشر التحقق منها وصياغتها. وترافق بعض الأعمال إشارات إلى عمليات تحقق بـ Lean، وإن كانت الملفات لم تُنشر بعد.
تنتظر جميع النتائج المعلنة مراجعة مستقلة. وهي لا تزال في وضع «بانتظار التحقق».
