A power improvement in the Heilbronn triangle lower bound

Formal proof listed 1 paper September 25, 2026
What the paper claims, in its own words

For every sufficiently large n, constructs n points in the unit square such that every triangle has area at least n−2+cn^{-2+c} for one absolute c > 0. This disproves the conjectured almost-n−2 upper bound in Heilbronn's triangle problem, which asks how large the smallest determined triangle can be.

The plain-language explainer for this entry is still coming.

The original paper