Mathematicians Welcome Computer-Assisted Proof in 'Grand Unification' Theorycacm.acm.org3 pointsreckel5 years ago