A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Uniform limit-cycle bounds in Hilbert's sixteenth problem
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

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:things that move forever Levels:2
Category:Dynamical systems and ergodic theory Lean version:YES! ✔
Rate this game! 4.3 out of 5 (4,460 votes)

>>> How to Play <<<
Hilbert's sixteenth problem: uniform bounds for limit cycles. Resolves the uniform boundedness assertion in Hilbert's sixteenth problem: the number of isolated periodic orbits of a real planar polynomial vector field is bounded by a finite constant depending only on its degree. For classical quintic Liénard systems, the exact maximum is two limit cycles.

>>> Level Select <<<
released 2026-09-24  |  12 theorems · 56 lemmas · 68 proofs · 83,198 words  |  PLAY LEVEL 1 »  (pdf)
For every degree, we prove that the number of isolated periodic orbits of a real planar polynomial vector field is bounded by a finite constant depending only on that degree. This establishes the uniform boundedness assertion in the second part of Hilbert's sixteenth problem. The proof uses separation of asymptotic expansions on nested complex domains and a finite-dimensional counting argument.
released 2026-09-24  |  3 theorems · 16 lemmas · 21 proofs · 14,244 words  |  PLAY LEVEL 2 »  (pdf)
Every classical Liénard system $\dot x=y-F(x)$, $\dot y=-x$, with F an arbitrary real polynomial of degree at most five, has at most two geometrically distinct isolated periodic orbits, and the bound is attained. This proves the degree-five case of the Lins Neto–de Melo–Pugh conjecture.

More Dynamical systems and ergodic theory Games!
The near-boundary Birkhoff conjectureThe dimension formula for self-similar measures on the linePermanence for weakly reversible reaction networksWeak mixing of irrational triangular billiards
A $C^1$ counterexample to Shub’s entropy conjectureZero entropy does not guarantee a smooth positive-volume modelArithmetic classification of Bernoulli convolutionsPointwise multiple ergodic averages for mixing transformations

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