The OEIS is supported by the many generous donors to the OEIS Foundation.
%I #14 Feb 27 2026 21:01:00
%S 71,843,8335,77459,704727,6365659,57360671,516455715,4648730983,
%T 41840468075,376569881007
%N Records in A393684.
%C 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.
%H Stephen Wolfram, <a href="https://writings.stephenwolfram.com/2026/01/p-vs-np-and-the-difficulty-of-computation-a-ruliological-approach/">P vs. NP and the Difficulty of Computation: A Ruliological Approach</a>, 2026.
%t 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 *)
%Y Cf. A393684, A393688.
%K nonn,more
%O 1,1
%A _Sean A. Irvine_, Feb 24 2026