AI 与数学研究

PrimeGaps186 通过 Lean 检查，为什么仍是一份有条件的证明

据 OpenAI 公开的 PrimeGaps186 仓库，项目提供了关于素数间隔上界 186 的 Lean 形式化推导和数值证书，同时明确保留三项尚未在项目内消除的输入公理。仓库标题已经把“有条件”写在前面。这个限定不是附注，而是理解成果性质的入口。