20 月 2026 年，arXiv 的最新清單中出現了若干論文，數學家在文中直接指出 ChatGPT-6 Astra 等模型提供了協助。
其中包括對任意 k ≥ 3 的 Erdős–Szemerédi 向日葵猜想的證明。作者指出，核心定理正是由 ChatGPT-6 Astra Pro 找到的。
此前僅已知 k = 3 的情形，那是 2016 年憑藉 cap-set 的突破所取得的。如今宣稱有明確的改進：不含 k-向日葵的族，其大小被限制在小於 2^n 的範圍內。
同一份清單中還有其他有 AI 參與的成果：對 Borodin–Kostochka 猜想的估計、整數規劃問題求解時間的改進，以及交換情形下對 Arveson 猜想的反例。
許多作者寫道，模型提出了關鍵步驟或完整證明，而由人類加以驗證並整理成文。部分論文附有提及 Lean 驗證的說明，儘管相關檔案尚未公開。
所有已宣稱的成果都尚待獨立審查。目前它們仍處於「待驗證」的狀態。
