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, proof status, and formal-verification status where applicable.
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
- Conjecture — no complete proof is claimed.
- Informally proven — a complete mathematical proof is presented, but no machine-checked proof is claimed.
- Lean verified — the linked Lean source has passed the configured Lean/mathlib checks.
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.