New Progress on Besicovitch’s 1/2 Problem
progress report Read article (PDF) · Lean formalization
c2 < 4
expository note Read article (PDF) · Lean formalization
Optimal Sparse Bounds and Commutator Characterizations Without Doubling
preprint arXiv:2510.26505