A 120-State Binary Turing Machine Equivalent to the Riemann Hypothesis
En palabras de los autores
We construct an explicit deterministic one-tape, two-symbol Turing machine with 120 working states whose blank-tape computation halts if and only if the Riemann hypothesis is false. The machine uses the same binary blank-tape model and state-counting convention as the widely cited 744-state Matiyasevich-O'Rear-Aaronson construction. The reduction from 744 to 120 working states removes 624 states, or 83.87%. Subject to independent end-to-end verification, our machine is a new state-count record for the Riemann hypothesis.
Resultado principalLimitación que admiten los autores
Apareció: lunes, 28 de septiembre. arXiv. Preprint, todavía sin revisión por pares.