Humans have disproved the sum-product conjectures for real numbers
arxiv.orgThe 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.