Ke Hao

Every One-Black-Cell Langton Ant Reaches the Period-104 Highway: A Lean-Checked Proof

Langton's ant is a deterministic walk on the square lattice whose blank-plane orbit eventually exhibits a diagonal period-104 highway, but the corresponding finite-support Highway Conjecture remains open. We prove a complete unbounded subfamily: from every initial state having ex...