 FACT: Captain Picard explains to Commander Riker that Fermats Last  Theorem wasnt proved even though people had been working on it for  800+ years. In fact, the theorem was solved in September of 1994 by  Andrew Wiles with the aid of his student Richard Taylor and some  ideas from Barry Mazur. However the theorem, as of 2006, hasnt been  solved using 17th century methods (Wiles used 20th century methods)  