Humans have disproved the sum-product conjectures for real numbers | Dark Hacker News