Prewire · case file · public copy of the record
FILE P375 PREWIRE receipts archive the live wire
CATCH #475 DETECTED AUG 1, 2026 15:34 UTC
THE CATCHscore 6/10
EXHIBIT 475 · URGENT
Aug 1, 2026 15:34 UTC github_org github.com/openai
OpenAI released a new public GitHub repository called 'ten-proofs' focused on Lean certificates for proofs in mathematics and theoretical computer science.

READY TO POST:

openai just open-sourced 'ten-proofs', a repo for lean certificates in math and theoretical computer science. interesting dive into formal verification.

new openai public repo alert: 'ten-proofs'. looks like they're sharing work on lean for mathematical proofs. could be big for ai-assisted theorem proving.

EVIDENCE — the receipts
openai: 1 new public repo

  + openai/ten-proofs — Lean certificates accompanying proofs in mathematics and theoretical computer science

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

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