Research, notes, and writing
Original mathematics, published with permanent identifiers and stated proof status — alongside notes on the AI systems that help produce it, and room for whatever the work becomes.
R001
A Cyclotomic Totient Oracle for Mersenne Numbers
Number theory Cyclotomic polynomials Computational number theory
Novelty unconfirmed · Informally proven
R002
The Fermat Quotient as a Dilation-Correlation Defect
Number theory Fermat quotients Sequences and correlation
New formulation · Lean formalized
R003
Every Direct Power of A5 Satisfies the Herzog–Schönheim Conjecture
Group theory Coset partitions Combinatorial counting
Novelty unconfirmed · Informally proven
R004
Every p-Extension of A5 Satisfies the Herzog–Schönheim Conjecture
Group theory Coset partitions Computer-assisted proof
Modulo one finite computation · Informally proven
I’ll write about my thoughts on AI here. Nothing yet.
Steps Unbounded publishes mathematical work developed in collaboration with AI systems.