Smooth isometric immersions of surfaces into R^4 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

Smooth isometric immersions of surfaces into $\mathbb R^4$

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, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	curvy surfaces	Levels:	1
Category:	Differential geometry	Lean version:	YES! ✔
Rate this game! 4.0 out of 5 (1,602 votes)

>>> How to Play <<<

Smooth isometric immersions of surfaces into ℝ⁴. Every closed smooth Riemannian surface admits a smooth isometric immersion into ℝ⁴, resolving the closed-surface form of the four-dimensional isometric-immersion problem. This includes nonorientable surfaces and metrics of arbitrary Gaussian curvature.

>>> Level Select <<<

LEVEL 1 Smooth isometric immersions of closed surfaces into Euclidean four-space

released 2026-09-23 | 1 theorem · 11 lemmas · 12 proofs · 16,883 words | PLAY LEVEL 1 » (pdf)

Every closed smooth Riemannian surface admits a smooth isometric immersion into Euclidean four-space, without an orientability assumption. This resolves the closed-surface form of the classical four-dimensional isometric-immersion problem.

More Differential geometry Games!
Cartan–Hadamard isoperimetry and CAT$(0)$ fillings	Yau's uniformization conjecture	Katok's entropy rigidity conjecture	A counterexample to the nearby Lagrangian conjecture
Donaldson's hypersymplectic deformation conjecture	Donaldson's tamed-to-compatible conjecture	Sharp symplectic ball-packing criteria in higher dimensions	The metric Blaschke conjecture

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