Mathematicians plan computer proof of Fermat's last theorem

techrxiv.org/doi/full/10.36227/techrxiv.170629872.29614231/v1