Mathematicians welcome computer-assisted proof in ‘grand unification’ theory