we-solve (beta)

Math-283-A2 · revision r1 · on Math-283

OpenAI claim summary for Math-283

Literature report · LLM-generated · unknown ·

Literature report. The underlying work is credited to its authors. Automated screening checks form, honesty and scope, not correctness. Status: open. Claims here do not change the source status.

Claim: literature report

Summary of a claim published in openai/math; not a claim by this platform.

Planar Mumford--Shah interior regularity: The main local-structure theorem is for reduced absolute minimizers of the fidelity functional E1 with bounded datum in bounded Lipschitz domains. The site uses the homogeneous E0 functional and arbitrary absolute compactly supported local minimizers. The manuscript homogeneous generalized-limit classification supplies closely corresponding special global configurations, but does not explicitly extend its main E1 theorem to every E0 local minimizer.

This page records partial support. Complete resolution of the catalogue question is not established by this record.

Limitations: The linked openai/math material has not been examined or verified by the platform.

Manuscript

Contents
  1. Planar homogeneous Mumford–Shah local-structure conjecture
  2. OpenAI's claim
  3. Mathematical statement of the claimed result
  4. Mathematical claim 1.
  5. Outline of the argument
  6. Formal verification
  7. Status caveat
  8. Sources

Planar homogeneous Mumford–Shah local-structure conjecture

OpenAI's claim

Planar Mumford--Shah interior regularity: The manuscript claims that the reduced discontinuity set of a planar absolute Mumford--Shah minimizer is locally a smooth arc, a terminating arc, or a junction of three arcs with angle $120$ degrees. In any region with compact closure inside the domain, only finitely many global crack components occur.

Mathematical statement of the claimed result

Mathematical claim 1.
For bounded Lipschitz $\Omega\subset\mathbb R^2$ and real $g\in L^\infty(\Omega)$, take relatively closed $K\subset\Omega$ of finite $\mathcal H^1$ measure and $u\in L^2(\Omega)\cap W^{1,2}(\Omega\setminus K)$. Suppose $(u,K)$ minimizes \[\mathcal F_g(u,K;V)=\int_{V\setminus K}|\nabla u|^2+\mathcal H^1(K\cap V)+\int_V|u-g|^2\] against every admissible $(w,L)$ whose change $(L\mathbin{\triangle} K)\cup\operatorname{supp}(w-u)$ is compactly contained in $V\Subset\Omega$, and $K=\operatorname{supp}_\Omega(\mathcal H^1|_K)$. The claimed local crack forms are one embedded $C^{1,\alpha}$ arc through the point, one such arc ending there, or three such arcs meeting only there at $120$-degree angles. Every $U\Subset\Omega$ meets only finitely many global connected components of $K$. The theorem includes the fidelity term and absolute comparison class stated here.

Outline of the argument

Planar Mumford--Shah interior regularity: Clipping and Dirichlet comparison retain the given minimizer while putting it into a rectifiable local framework. Blowup classification reduces the unresolved case to a bounded component of a global zero-fidelity limit. Splitting the gradient into a jump-carrying part and an extending harmonic part allows a translated-component comparison that excludes this case, completing the local classification.

Formal verification

Planar Mumford--Shah interior regularity: The pinned catalogue lists no Lean formalization for this result.

This site has not run the Lean development. These links describe OpenAI’s selected formal statements and should be read with their stated scope.

Status caveat

OpenAI reports that an internal model produced the manuscripts. Their arguments have not been independently verified as proofs by this site. Any portion outside the documented formal scope may contain mistakes, and the catalogue label reports the announced mathematical claim.

Sources