Format a Anglaterra, resideix, però, als EUA. Ha fet importants treballs algebraics que li han permès demostrar finalment la certesa de la conjectura de Fermat: ‘no hi ha nombres enters x,y,z que satisfacin la relació x n + y n = z n , quan n és major o igual a 3’.