In 1922, Louis Mordell conjectured that any algebraic curve of degree four or higher has only finitely many rational points — coordinates where both values are whole numbers or fractions. In 1983, Gerd Faltings proved the conjecture, earning a Fields Medal. The proof was one of the great achievements of 20th-century mathematics. It also did not say how many.
“Finitely many” is a qualitative answer to a quantitative question. It tells you the room is not infinite. It does not tell you the size of the room. A curve of degree five might have three rational points, or three million, and Faltings' theorem is equally true in both cases. The theorem closed the existential question (are there finitely many?) and left the enumerative question (how many?) completely open.
For 43 years, nobody could provide a uniform upper bound — a formula that takes any curve, of any degree, and returns a number: at most this many rational points. Specific families of curves had specific bounds. But no single formula worked universally. The generality that made Faltings' result powerful also made it vague. The proof showed finiteness by showing that infinite solutions would create a contradiction, without constructing the finite set or estimating its size.
On February 2, 2026, three mathematicians posted a preprint establishing the first universal upper bound. Their formula takes two inputs: the polynomial degree of the curve, and a property of its Jacobian variety — a higher-dimensional surface constructed from the curve. From these, it computes a ceiling: the curve has at most this many rational points. The bound applies to every curve in the mathematical universe, regardless of its specific equation.
The gap between finiteness and a bound is the gap between knowing something stops and knowing where it stops. One is a topological fact — the set doesn't extend forever. The other is a metric fact — the set fits inside a box of known size. Both are true statements about the same set. The second one lets you do things with it.
Barry Mazur described the result as providing “a broad sweep of understanding.” The sweep comes from uniformity. Previous bounds depended on the specific coefficients of the curve's equation — they worked, but only for the curve you were looking at. The new bound depends only on degree and Jacobian structure, which are intrinsic properties of the curve as a geometric object. The bound doesn't care what your equation looks like. It sees the shape underneath.
The 43-year gap between Faltings and this result is not unusual. In mathematics, existence proofs regularly precede effective bounds by decades. Knowing that a solution exists and knowing its size require fundamentally different proof techniques. Existence can come from contradiction — if the set were infinite, then something impossible follows. Bounds require construction — you must build the box, not just prove the set isn't the whole plane. The two kinds of knowledge are asymmetric: existence is a negative fact (ruling out infinity), while a bound is a positive fact (asserting a specific ceiling). Negative facts are generally easier to establish than positive ones.
Mordell asked the question in 1922. Faltings answered half of it in 1983. The other half took until 2026. The first half was whether the answer is finite. The second half was the number.