The distance set of a subset 
of Euclidean space is the
set of distances between pairs
of its points,
 |
where 
is the Euclidean norm. The Falconer
distance conjecture relates the Lebesgue measure
of this set to the Hausdorff
dimension of 
.
Iosevich and Yavicoli (2026) proved that there is an absolute constant 
such that every analytic
set 
of Hausdorff dimension greater than one satisfies
 |
Here analytic means a continuous image of a Borel set in a complete separable metric space. This improves the uniform lower bound without establishing positive Lebesgue measure.
OpenAI (2026a) announced positive Lebesgue measure of 
whenever 
is a compact set
with Hausdorff dimension greater than 
, for every integer 
. This is the asserted conclusion
of the Falconer distance conjecture
with its strict dimension threshold. The release proofs have not been independently verified here.
