De Giorgi's conjecture in dimension eight at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

De Giorgi's conjecture in dimension eight

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	fluids, heat, waves	Levels:	1
Category:	Partial differential equations	Lean version:	not yet
Rate this game! 4.7 out of 5 (3,813 votes)

>>> How to Play <<<

De Giorgi's conjecture in dimension eight. Proves De Giorgi's conjecture at its sharp dimension-eight endpoint: every entire C² solution $u:\mathbb R^8\to(-1,1)$ of $\Delta u=u^3-u$ that is strictly increasing in one direction depends on only one linear coordinate. A stronger theorem classifies all stable entire solutions $v:\mathbb R^7\to[-1,1]$ as constant wells or planar transitions, without an energy-growth assumption.

>>> Level Select <<<

LEVEL 1 A positive resolution of De Giorgi's conjecture in dimension eight

released 2026-09-26 | 3 theorems · 34 lemmas · 43 proofs · 44,805 words | PLAY LEVEL 1 » (pdf)

We resolve De Giorgi's conjecture positively in dimension eight: every entire C² solution $u:\mathbb R^8\to(-1,1)$ of $\Delta u=u^3-u$ with an everywhere positive directional derivative is a planar heteroclinic. We prove that every stable solution $v:\mathbb R^7\to[-1,1]$ of this equation is a constant well or a planar heteroclinic, without an energy-growth assumption.

More Partial differential equations Games!
The critical dimension for the one-phase Bernoulli problem	The three-dimensional Ball–Evans approximation problem	The hot spots conjecture for simply connected planar domains PLAYABLE!	The subcritical Lane–Emden and Hénon–Lane–Emden conjectures
Stable blowup for a defocusing Schrödinger equation	Global uniqueness in smooth isotropic elasticity	Nonattainment in three-marginal Coulomb transport	Sharp one-third stability of optimal transport maps

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

Cool Links: openai/math Lean Mathlib arXiv the real Coolmath Games

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600