OpenAI 开源 LongGapsBetweenPrimes：素数长间隔界的 Lean 形式化

OpenAI 在 GitHub 发布新仓库 openai/LongGapsBetweenPrimes，用 Lean 形式化了一个关于素数长间隔的界。仓库标题与描述均未给出具体界值、作者或论文出处。