Pierre de Fermat (17 August 1601 or 1607 – 12 January 1665) was a Human mathematician who left a puzzling theorem behind after he died. Andrew Wiles eventually proved the theorem. In 2155, Tobin Dax made note of how it was better to start a conversation off with a flashy trick than Andrew Wiles' proof of Fermat's theorem. (DS9 episode: "Facets", ENT novel: Beneath the Raptor's Wing)