Prewire · case file · public copy of the record
FILE P325 PREWIRE receipts archive the live wire
CATCH #1025 DETECTED AUG 27, 2026 22:26 UTC
THE CATCHscore 6/10
EXHIBIT 1025 · URGENT
Aug 27, 2026 22:26 UTC github_org github.com/anthropics
Anthropic made a new public GitHub repository named 'formal-math'.

READY TO POST:

anthropic just open sourced a 'formal-math' repo. wonder if they're gearing up for some new research in that area.

seeing a new public repo from anthropic called 'formal-math'. could be interesting to see what they're building there.

EVIDENCE — the receipts
anthropics: 1 new public repo

  + anthropics/formal-math

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

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