N nature.com Mathematicians welcome computer-assisted proof in ‘grand unification’ theory 344 points Wxc2jjJmST9XWWL 5 years ago 136 comments
