3 ms·Computer verification of Wiles' proof of Fermat's Last Theorem (2005)2 points by mbustamanter 3y ago