OpenAI research collection · 2 manuscripts · Source checked 2026-10-19
Proves that every stationary integral m-varifold in a Euclidean open set has singular set of Hausdorff dimension at most m-1, a sharp bound in every positive dimension and codimension. On round spheres, the family also proves almost-everywhere regularity: the singular set has zero m-dimensional Hausdorff measure.
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
The singular set of every stationary integral m-varifold in an open Euclidean set has Hausdorff dimension at most m-1, in every positive dimension and codimension. This sharp bound proves the Euclidean singular-set conjecture recorded by Brena, Decio, and De Lellis.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
We resolve the almost-everywhere regularity conjecture of Brena, Decio, and De Lellis for stationary integral varifolds of arbitrary positive dimension and codimension in Euclidean open sets. The singular set has zero measure in the dimension of the varifold: near almost every support point, the varifold is a constant positive…
We resolve the almost-everywhere regularity conjecture of Brena, Decio, and De Lellis for stationary integral varifolds of arbitrary positive dimension and codimension in Euclidean open sets. The singular set has zero measure in the dimension of the varifold: near almost every support point, the varifold is a constant positive integer multiple of a smooth embedded minimal submanifold. The corresponding statement also holds on round spheres.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.
Explore the AGI Clock ↗