Partial differential equations·OpenAI Math·Result 377
Interior C1,α regularity for infinity-harmonic functions
One of the 372 results in OpenAI's public mathematics catalogue, filed under partial differential equations: 1 preprint, the latest dated 4 October 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and will embed the animation.
Latest paper
Uniform Interior C1,α Estimates for Infinity-Harmonic Functions
The animation for this result has not been released yet. Subscribe on YouTube to catch it.
What OpenAI claims
Proves uniform interior C1,αd regularity for bounded infinity-harmonic functions in every dimension d ≥ 3, for a positive exponent depending only on dimension. The gradient's supremum norm and Hölder seminorm on the half unit ball are bounded by a dimension-dependent constant times the oscillation on the unit ball. The exponent is not explicit.
Paper
Uniform Interior C1,α Estimates for Infinity-Harmonic Functions
We prove a uniform interior C1,αd estimate for bounded infinity-harmonic functions in every dimension d ≥ 3. For some αd ∈ (0,1/3] depending only on the dimension, the gradient's supremum norm and αd-Hölder seminorm on B1/2 are bounded by a dimension-dependent constant times the oscillation on B1. The exponent is not explicit, and no endpoint or boundary regularity claim is made. In particular, infinity-harmonic functions are locally C1 on every open subset of ℝd, for d ≥ 3.
Status
Preprint. The paper has not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
Related results in Partial differential equations
- 362Global smoothness for relativistic Vlasov–MaxwellVideoLean
- 363Nonuniqueness with local conservation for the hard-sphere Boltzmann equationLean
- 364Kinetic limits and fluctuations over the Boltzmann lifespan
- 365Joint metric and connection recovery from one boundary patchLean
- 366The planar Mumford–Shah regularity conjecture and local weak-L4 gradient bounds
- 367The critical dimension for the one-phase Bernoulli problemLean