This Turing machine should run forever unless maths is wrong

newscientist.com