As an aside, I having been trying to find for a long time an example of problem similar to Fermat's Last Theorem, where there was an equation something like (but not),
x^4 - y^4 = 4z^3
Which was suggested had no integer solutions. Eventually someone used a computer and found a set of integers that fit, each about a hundred billion billion in size.
It is commonly given as an example that even if you check a billion billion billion sets, you don't know that there might be a bigger number that works.
If anyone knows the theorem I'd love to know it's name! The theorem was definitely of the form: "There are no integer solutions to this equation: ..." and the equation included 4th powers.
Cheers.
-= Out here in the fields, I fight for my meals =-