OpenAI 发布 openai/PrimeGaps186：素数间隙至多 186 的条件 Lean 形式化与数值证书

OpenAI 在 GitHub 新建仓库 openai/PrimeGaps186，给出素数间隙至多 186 的条件 Lean 形式化及数值证书。该仓库以 Lean 形式化配合数值证书的方式，对素数间隙不超过 186 这一结论进行条件性验证。