OFFSET
1,1
COMMENTS
Conjecture: these records occur at indices (3^n - 1)/2 = A003462(n); that is, they correspond to all 1's ternary inputs on the tape.
LINKS
Stephen Wolfram, P vs. NP and the Difficulty of Computation: A Ruliological Approach, 2026.
MATHEMATICA
lim = 2^12, len = 2^32}, s = PacletSymbol["WolframInstitute/TuringMachine", "OneSidedTuringMachineFunction"][{840971, 2, 3}, {1, lim}, len, "Steps"]; Union@ FoldList[Max, s] (* Michael De Vlieger, Feb 25 2026 *)
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Sean A. Irvine, Feb 24 2026
STATUS
approved
