Evidence · DiggingBeagle record
OpenAI mathematics manuscript and proof repository
Primary technical archive. As reviewed October 8, README counted 719 manuscripts in 372 families, with approximately 42 percent of top-line results formalized; OpenAI acknowledges unformalized results may contain errors.
- Published
- Oct 6, 2026
- Source role
- primary disclosure
Evidence record
Primary technical archive. As reviewed October 8, README counted 719 manuscripts in 372 families, with approximately 42 percent of top-line results formalized; OpenAI acknowledges unformalized results may contain errors.
Claim-level citations (1)
- supportsCan AI recover a wallet private key? The proof that is still missing: The OpenAI mathematics project recorded three manuscript withdrawals due to a sign-error dependency on October 7, 2026, fourteen additional manuscript revisions, and 300 top-line formalizations among 719 maintained manuscripts.
README.md, Navigating the collection and current manuscript counts