Prewire · case file · public copy of the record
FILE P361 PREWIRE receipts archive the live wire
CATCH #1161 DETECTED SEP 3, 2026 17:19 UTC
THE CATCHscore 6/10
EXHIBIT 1161 · URGENT
Sep 3, 2026 17:19 UTC github_org github.com/openai
OpenAI made two new public repositories related to formalizing bounds and certificates for prime gaps using Lean.

READY TO POST:

openai just open-sourced two new repos: longgapsbetweenprimes and primegaps186. looks like some deep math formalization using lean.

interesting to see openai making more math-focused repos public, specifically around prime gaps and lean formalization.

EVIDENCE — the receipts
openai: 2 new public repos

  + openai/LongGapsBetweenPrimes — A Lean formalization of a bound concerning long gaps between primes
  + openai/PrimeGaps186 — Conditional Lean formalization and numerical certificate for prime gaps at most 186.

caught by the 20-minute sweep · the live wire · all receipts

THE WIRE RECEIPTS ACCESS @VEDOLOS TERMS PRIVACY break the story before it breaks