∑math20

Differential geometry · Result 355

Unique tangent flows at the first surface singularity

1 paper

Proves the first-singular-time case of tangent-flow uniqueness for smooth compact connected embedded surfaces without boundary in ℝ3. At every singular point, all fixed-center backward tangent flows agree as area measures at every negative time in the original ambient coordinates, without mean-convexity or a prescribed tangent model.

Watch

1

The problem

What is being asked, where it comes from, and why it is hard. No proof needed.

▶Introduction to the problemin preparation
2

The solution proposed by OpenAI

How the paper solves it, step by step.

Full explanation
▶The proposed solutionin preparation

Papers 1

First page of Uniqueness of tangent flows at the first singular time of embedded surface mean-curvature flow

Uniqueness of tangent flows at the first singular time of embedded surface mean-curvature flow

OpenAI ·

We prove that, at each singular point of the first singular time of the mean-curvature flow of a smooth compact connected embedded surface without boundary in ℝ3, all fixed-center rescalings converge locally smoothly on compact negative-time intervals to one multiplicity-one homothetic self-shrinker flow. The limit is unique in the original ambient coordinates, including its position and axes. No mean-convexity assumption or prescribed tangent model is required.

Read PDF Download Source

Cite
@misc{OAI:Tangent-flow-uniqueness-2026-09-24,
  author = {{OpenAI}},
  title = {{Uniqueness of tangent flows at the first singular time of embedded surface mean-curvature flow}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Tangent-flow-uniqueness-2026-09-24/paper.pdf}{OAI:Tangent-flow-uniqueness-2026-09-24}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.