June 4, 2026
Proof? Cancelled by punctuation
Sum-product, unit distances, and number fields
Math nerds drop a theory bomb, and the comments instantly revolt over the symbols
TLDR: The post explains how researchers found examples that break two famous math ideas, turning “this should always work” into “actually, no.” But the comment drama centered on something much simpler: one reader bailed instantly over unexplained symbols, sparking the timeless internet fight over brilliance versus basic readability.
A deep-dive math post about knocking holes in two long-standing ideas should have been a victory lap for big-brain internet readers. Instead, the first burst of community energy went straight to a classic online battlefield: notation rage. The article tries to walk readers through how researchers built counterexamples — basically, examples that show a nice-sounding math belief is simply not true — and even frames itself as a friendly guide for people who aren’t experts yet. But in the comments, one reader slammed the brakes immediately, saying they “stopped reading” because the symbol �b7 appeared without explanation. And just like that, the vibe became less “wow, groundbreaking result” and more “sir, define your bars before we proceed.”
That tiny complaint says a lot about the mood around posts like this on the internet: readers love the idea of accessible explainers, but they’re ruthless when something feels even slightly insider-y. The article itself is about taking a seemingly reasonable pattern and blowing it up with a clever scaling trick — a kind of “if it breaks once, we can make it break a lot” move — which is catnip for math fans. But the comment drama flips the spotlight from the proof to the presentation. The hottest take isn’t even about whether the result matters; it’s about whether anyone outside the club can survive the notation. In other words, the theorem may be dead, but the comment section says readability is on trial too.
Key Points
- •The article presents the author’s explanation of recent counterexamples to the unit distance and sum-product conjectures over the reals.
- •It focuses on the combinatorial ideas behind the constructions and intentionally avoids deep number-theoretic proofs such as the Golod-Shafarevich theorem.
- •The warmup problem asks how tightly the size of a sum set \(A+A\) can be bounded in terms of the size of a difference set \(A-A\).
- •A naive conjecture that \(|A+A|\le |A-A|^{1+o(1)}\) is shown to be false.
- •Using the tensor power trick and the example \(A=\{0,2,3,4,7,11,12,14\}\), the article constructs arbitrarily large sets with \(|B+B|=26^d\) and \(|B-B|=25^d\), implying an exponent above 1.