A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
A stable-coordinate counterexample in four variables
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Guess the Hot Spot <<<

LOADING...
0%
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:shapes made of equations Levels:2
Category:Algebraic and complex geometry Lean version:YES! ✔
Rate this game! 4.1 out of 5 (4,924 votes)

>>> How to Play <<<
A stable-coordinate counterexample in four variables. Constructs a polynomial in four complex variables that is not a coordinate but becomes one after adjoining a single variable, disproving the Stable Coordinate conjecture in four variables. Every fiber is affine three-space, yet none of its embeddings is rectifiable, also disproving the Abhyankar–Sathaye conjecture even when all fibers are affine spaces.

>>> Level Select <<<
released 2026-10-05  |  1 theorem · 6 lemmas · 15 proofs · 5,657 words  |  PLAY LEVEL 1 »  (pdf)
We construct an explicit degree-five polynomial over $\mathbf C$ that is not a coordinate in four variables but becomes one after adjoining a single variable. This gives a counterexample to the stable coordinate conjecture in four variables. Every fiber is isomorphic to affine three-space, yet its embedding in affine four-space is not rectifiable. Thus the example also disproves the Abhyankar–Sathaye embedding conjecture in ambient dimension four.
released 2026-09-24  |  1 theorem · 1 lemma · 3 proofs · 2,136 words  |  PLAY LEVEL 2 »  (pdf)
We construct an explicit counterexample to the Abhyankar–Sathaye conjecture: a noncoordinate polynomial in four complex variables whose zero fibre is affine three-space. Adjoining variables gives counterexamples in every ambient dimension at least four.

More Algebraic and complex geometry Games!
Counterexamples to Shafarevich holomorphic convexityComplex counterexamples to cancellation and affine fibrationsA characteristic-zero counterexample to Lipman–ZariskiA counterexample to Griffiths' positivity conjecture
Kobayashi's canonical-ampleness conjectureTangent-bundle splittings and universal coversA counterexample to Pixton's original completeness conjectureCounterexamples to Kuznetsov's rationality conjecture

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