Until recently, one of the most famous conjectures was Fermat's Last Theorem. The name was incorrect, because although Fermat said he had a proof for it, none could be found in his notes. In 1992, British mathematician Andrew Wiles found a proof for it, making it a theorem and not a conjecture.