In 1954, Harry Vandiver used a SWAC computer to prove Fermat's Last Theorem for all primes up to 2521.
Το 1954, ο Χάρι Βανντιβερ χρησιμοποίησε ένα SWAC υπολογιστή για να αποδείξει το τελευταίο θεώρημα του Φερμά για όλους τους πρώτους μέχρι τον 2521.