GPT-6-Astra项目使用Lean 4形式化验证和Python数值证明的结合，证明了存在无穷多对连续素数，其间隙距离至多为186。这一证明基于Deligne定理和Kloosterman和等数学估计，通过条件性公理形式化了素数间隙界的证明。