Wouter van Doorn

Allowing negative integers in $h$-basis sets can surprisingly *reduce* the range of representable integers compared to using only non-negative elements, a counter-intuitive finding formally verified by AI.

The optimal constant for detecting four distinct integers with all pairwise sums in a dense subset of $\{1, \ldots, 2n\}$ is 4, a dramatic improvement from previous bounds.