Source: /cirosantilli/turing-machine-that-halts-if-and-only-if-the-goldbach-conjecture-is-false

= Turing machine that halts if and only if the Goldbach conjecture is false
{c}
{tag=Goldbach conjecture}
{title2=27-state}

https://www.scottaaronson.com/papers/bb.pdf