3 ms·Mathematicians Welcome Computer-Assisted Proof in 'Grand Unification' Theory3 points by reckel 5y ago