The 3SUM hypothesis: is 3SUM solvable in truly subquadratic time?
Yes: a deterministic algorithm for 3SUM on polynomially bounded integers on the word RAM, refuting the hypothesis, and a Las Vegas algorithm for real inputs using only additions, subtractions and comparisons. The core is a new algorithm for wanted entries of thin matrix products (a modified Coppersmith rectangular algorithm with a Schönhage identity), which solves Lopsided All-Edges Sp…