Fermat number
However, their proof did not provide a factor. It was not until 2010 that the first factor of the 14th Fermat number was found.