Diophantine equations are a certain class of equations for which solutions that consist only of integers are sought. So, for example, we know that Pythagoras’s theorem x2+y2=z2 has many sets of solutions such as the numbers x=3, y=4, z=5 or the set x=6, y=8, z=10. A lot of these problems involve existence claims such as whether any solution exists at all and if none can be found, whether it can be proved that no solution exists.
To prove that a solution exists, one can use brute force techniques to search through the space of integers and see if a set can be found that satisfies the equation. Nowadays the searches use computers. This was done recently in the case of the equation x3+y3+z3=33, with the solution coming after 64 years of effort.
The solutions are.
x = +8,866,128,975,287,528
y = –8,778,405,442,862,239
z = –2,736,111,468,807,040
What is so special about this equation? As far as we know, nothing really, except that the numbers 33 and 42 were the only ones below 100 for which neither a solution nor a proof that no solution exists had been found. Such problems are viewed by mathematicians as challenges in themselves and they pursue them with great vigor. As the above link states, “When the news of his solution hit the internet earlier this month, fellow number theorists and math enthusiasts were feverish with excitement.” The appeal of solving a problem that has no immediate practical consequence can elude people who are not mathematicians. But it is akin to people who climb a mountain just because it is there, just because its existence poses a challenge.
This solution was found by a computer but in order to do so, Andrew Booker at the University of Bristol had to devise a special algorithm to target this particular equation with the number 33, rather than a more general approach.
So the only unsolved number that remains is 42. Whether this new algorithm can be modified to target that number is what people will try to see. But there is a more general result that is at stake. “A major result would be to prove the conjecture that k = x3+y3+z3 has infinitely many solutions for every whole number k, except those k that have a remainder of 4 or 5 after being divided by 9.”
The just-proved result for k=33 satisfies that conjecture since the remainder is 6. The remainder for 42 is also 6 so one would expect that a solution should exist.