New top story on Hacker News: Mathematicians welcome computer-assisted proof in ‘grand unification’ theory

Mathematicians welcome computer-assisted proof in ‘grand unification’ theory
6 by Wxc2jjJmST9XWWL | 0 comments on Hacker News.