GPT-6-Astra项目使用Lean 4形式化验证和Python数值证明的结合，证明了存在无穷多对连续素数，其间隙距离至多为186。这一证明基于Deligne定理和Kloosterman和等数学估计，通过条件性公理形式化了素数间隙界的证明。
在2026年5月至7月的短短三个月间，多个大型语言模型在数学领域取得了突破性进展，通过发现反例推翻了多个困扰数学界多年的重大猜想。