Andrew Wiles was a Human male who proved Pierre de Fermat's last theorem. (DS9 episode: "Facets") In 2155, Tobin Dax noted that it was better to start a conversation with a fancy card trick than a discussion of Wiles's proof of Fermat's last theorem. (ENT novel: Beneath the Raptor's Wing)