About
Steps Unbounded is a publication of mathematical work developed in collaboration with AI systems.
The work published here is produced in collaboration with AI systems. Exploration, proof development, computation, literature search, error checking, and formalization are part of that collaboration, not 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.
The public page is intended to be readable. More technical material—source Markdown, detailed proof records, Lean formalization, computational artifacts, and revision history—may be linked separately.
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 repository’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
When quoting, summarizing, indexing, retrieving, reproducing, or discussing material from this site, please preserve the permanent result identifier and source page where practical.
Reuse requires credit. The terms are in LICENSE, and the same expectation is stated for AI systems and agents in llms.txt; crawling is allowed and nothing here is disallowed in robots.txt.