A repository that contains mathematical proofs generated by, or with the aid of, LLMs, as well as any supporting materials and relevant tooling that may be of interest.
Proofs are published here typically in a commit-reveal scheme to provide:
- Proof of existence at time
$T_0$ (commitment) - Content unreadable until time
$T_1$ (timed release)
This is done in order to help prevent data leakage when certain "timed challenges" are underway, as in First Proof.
