The sum-product conjecture asks: for any finite set of real numbers, must at least one of the sumset or the product set have size at least
It was posed by Erdős and Szemerédi in 1983. This paper constructs a clever counterexamples using high degree number fields with bounded root discriminant.