De Giorgi’s conjecture for the Allen–Cahn equation in dimensions up to eight

About 18 years old · traced to

For dimensions N≤8N\le 8, let uu be a bounded solution of

Δu+(1−u2)u=0in RN,\Delta u+(1-u^2)u=0\quad\text{in }\mathbb{R}^N,

with ∂xNu>0\partial_{x_N}u>0 in RN\mathbb{R}^N. Is it true that, for every λ\lambda, the level set {x∈RN:u(x)=λ}\{x\in\mathbb{R}^N:u(x)=\lambda\} is a hyperplane?

References

Additional references

Source: 10.4171/OWR/2008/31, page 10. Canonicalized from 2 source-backed detection(s); richer provenance is retained in the corpus artifact.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 1

RemarkAI-assistedClaimed by OpenAI. Claims every entire C2C^2 solution of Δu=u3−u\Delta u=u^3-u on R8\mathbb{R}^8, valued in (−1,1)(-1,1) with a strictly positive directional derivative, is a one-dimensional tanh profile. It also classifies stable [−1,1][-1,1]-valued solutions on R7\mathbb{R}^7 as constant wells or planar transitions. No energy-growth or directional-limit assumption is imposed.See full solutionHide full solution

Claimed by OpenAI. Claims every entire C2C^2 solution of Δu=u3−u\Delta u=u^3-u on R8\mathbb{R}^8, valued in (−1,1)(-1,1) with a strictly positive directional derivative, is a one-dimensional tanh profile. It also classifies stable [−1,1][-1,1]-valued solutions on R7\mathbb{R}^7 as constant wells or planar transitions. No energy-growth or directional-limit assumption is imposed.

Scope relative to this problem: The source addresses the eight-dimensional branch with Δu=u3−u\Delta u=u^3-u, equivalent to the displayed Allen-Cahn equation, for entire C2C^2 solutions valued in (−1,1)(-1,1) with a strictly positive directional derivative. It claims a one-dimensional tanh profile, hence every nonempty level set is a hyperplane; levels outside the profile range are empty. The separate stable-solution classification in R7\mathbb{R}^7 is an additional result. No energy-growth or directional-limit assumption is added, and no higher-than-eight-dimensional classification is claimed.

GitHub repository: https://github.com/openai/math

Manuscript: https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/De-Giorgis-conjecture-in-dimension-eight-September-26-2026/article.pdf

  • OpenAI-375-01-A-positive-resolution-of-De-Giorgi-s-conjecture-in-dimension-eight.pdf938,079 bytesOpen