▲ 2 pointsComputer verification of Wiles' proof of Fermat's Last Theorem (2005)cs.rug.nlby mbustamanter·3y ago·0 comments·view on hn ↗