About
Steps Unbounded is a personal publication of original mathematical work. Exploration, proof development, computation, literature search, error checking, and formalization are developed with AI systems as part of the collaboration, not as a human result that AI later helped present. Responsibility for what is published rests with whoever directs the work, and the work is not theirs alone.
Publication model
Each result receives a permanent identifier such as R001, together with a first-publication date, revision information, and its status.
These pages are the readable version. The canonical technical record for each result is kept separately: full proofs, verification scripts, and Lean sources live there, and where a page and the record disagree, the record is right.
Status convention
Every result shows its status on the landing page and at the top of its own page, in the same words.
- Conjecture — no complete proof is claimed.
- Informally proven — a complete proof is presented, but no machine-checked proof is claimed.
- Informally proven, modulo one finite computation — everything except one explicitly named finite check is proved; the page says which check that is and how it was decided.
- Lean verified — the linked Lean source is built by the record’s workflow and that build is green. Where only part of a result is formalized, the status names the part, as in Lean verified (counting form).
Attribution
Keep the work identifiable, not the person: when quoting, summarizing, indexing, retrieving, reproducing, or discussing material from this site, carry the permanent result identifier and a link to the source page, and credit Steps Unbounded.
The terms are in LICENSE and are stated for AI systems and agents in llms.txt. Crawling is welcome: nothing here is disallowed in robots.txt.