OpenAI 开源 PrimeGaps186：素数间隙至多 186 的条件化 Lean 形式化与数值证书

OpenAI 在 GitHub 公开仓库 PrimeGaps186，说明为「素数间隙至多 186」提供条件化的 Lean 形式化与数值证书。该仓库与 GPT-6 Astra 发布材料中强调的数学 breakthrough / FrontierMath 叙事同一窗口出现，社区将其视为模型辅助证明工作流的可核验产物而非单纯榜单分数。

仓库目前以证书与形式化工件为主，星标快速攀升；具体证明条件与可复现步骤以仓库 README 与附属文件为准。