A counterexample to the nearby Lagrangian conjecture 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

A counterexample to the nearby Lagrangian conjecture

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:	curvy surfaces	Levels:	1
Category:	Differential geometry	Lean version:	not yet
Rate this game! 4.5 out of 5 (1,816 votes)

>>> How to Play <<<

A counterexample to the nearby Lagrangian conjecture. Disproves the unrestricted nearby Lagrangian conjecture. For some sufficiently large even N, constructs a closed exact embedded Lagrangian in $T^*(S^9\times S^{N-1})$ that is diffeomorphic to the base but not Hamiltonian isotopic to its zero section.

>>> Level Select <<<

LEVEL 1 A counterexample to the nearby Lagrangian conjecture

released 2026-09-23 | 2 theorems · 10 lemmas · 16 proofs · 12,820 words | PLAY LEVEL 1 » (pdf)

We disprove the unrestricted nearby Lagrangian conjecture. For some sufficiently large even integer N, we construct a closed exact smoothly embedded Lagrangian in $T^*(S^9\times S^{N-1})$ that is diffeomorphic to the base but is not Hamiltonian isotopic to the zero section.

More Differential geometry Games!
Infinitely many closed geodesics on spheres and three-manifolds	Sharp singular-set bounds for stationary integral varifolds	Counterexamples to strong forms of Arnold's fixed-point conjecture	Nonnegatively curved Einstein four-manifolds and a topological gap
The Solomon–Yau least-volume conjecture	Yau's nodal conjecture: surfaces and counterexamples	Scalar curvature detects four-dimensional Ricci-flow singularities	Finite-time singularity of Calabi flow

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