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.
Then when I reached college, I realized that many people had thought about the problem during the 18th and 19th centuries and so I studied those methods.