20月2026年，arXiv的最新列表中出现了数学家明确指认ChatGPT-6 Astra等模型提供帮助的论文。
其中包括对任意k ≥ 3的埃尔德什–塞迈雷迪向日葵猜想的证明。作者指出，核心定理正是由ChatGPT-6 Astra Pro发现的。
此前已知的只有k = 3的情形，那是2016年借助cap-set的突破取得的。如今宣称有显著改进：不含k-向日葵的族的大小被限制在小于2^n的范围内。
同一列表中还有另一些有AI参与的结果：对博罗金–科斯托奇卡猜想的估计、整数规划问题求解时间的改进，以及交换情形下对阿尔韦松猜想的反例。
许多作者写道，模型提出了关键步骤或完整证明，而人们对其进行了验证和整理。部分论文附有提及Lean验证的内容，尽管相关文件尚未公布。
所有已公布的结果都有待独立评审。目前它们仍处于“待验证”状态。
