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

news.ycombinator.com

saved by: 0 people
related read on: Mathematicians welcome computer-assisted proof in ‘grand ... discussion