> much more interesting than the problem’s elementary statement might lead one to expect

This is reinforced by the immediate (human) use of the idea to resolve in the negative another significant problem, the sum-product conjecture on reals.

Explanation of what was involved: https://www.erdosproblems.com/forum/thread/blog:6