ב-20 באוקטובר 2026 הופיעו ברשימת arXiv החדשה עבודות שבהן מתמטיקאים מציינים במפורש עזרה של מודלים כמו ChatGPT-6 Astra.
ביניהן נמצאת הוכחת השערת ארדש–סמרדי בדבר חמניות לכל k ≥ 3. המחברים מציינים כי את המשפט המרכזי מצא דווקא ChatGPT-6 Astra Pro.
בעבר היה ידוע רק המקרה k = 3, שהושג ב-2016 הודות לפריצת דרך עם cap-set. כעת מוצהר שיפור מפורש: גודל המשפחה ללא k-חמנייה חסום בגודל קטן מ-2^n.
באותה רשימה נמצאות תוצאות נוספות בהשתתפות בינה מלאכותית: אומדן להשערת בורודין–קוסטוצ'קה, שיפור בזמן פתרון בעיות של תכנות שלמים ודוגמאות נגדיות להשערת ארבסון במקרה הקומוטטיבי.
מחברים רבים כותבים שהמודל הציע שלבים מרכזיים או הוכחות שלמות, והאנשים בדקו וערכו אותן. חלק מהעבודות מלוות באזכורים של בדיקות Lean, אם כי הקבצים טרם פורסמו.
כל התוצאות המוצהרות ממתינות לביקורת בלתי תלויה. לעת עתה הן נותרות בסטטוס "ממתין לבדיקה".