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