Mathematicians aren't satisfied because they know there are no solutions up to four million or four billion, they really want to know that there are no solutions up to infinity.

Sir Andrew John Wiles KBE FRS (born 11 April 1953) is a British mathematician and a Royal Society Research Professor at Oxford University specializing in number theory. He is most famous for proving Fermat's Last Theorem.