Mathematicians welcome computer-assisted proof in ‘grand unification’ theorynature.com344 pointsWxc2jjJmST9XWWL5 years ago