This Turing machine should run forever unless maths is wrong

Two researchers have come up with computer programs that will run forever as long as the deep mathematical assumptions they are testing are correct