2 ms·Mathematicians plan computer proof of Fermat's last theorem4 points by fortran77 3y agolevn11 3y agotechrxiv.org/doi/full/10.36227/techrxiv.170629872.29614231/v1