Mathematicians welcome computer-assisted proof in ‘grand unification’ theory Posted on 2021/06/22 by Carl Robitaille Mathematicians welcome computer-assisted proof in ‘grand unification’ theory