A C^1 counterexample to Shub’s entropy 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 $C^1$ counterexample to Shub’s entropy 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, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	things that move forever	Levels:	1
Category:	Dynamical systems and ergodic theory	Lean version:	YES! ✔
Rate this game! 4.7 out of 5 (5,151 votes)

>>> How to Play <<<

A C¹ counterexample to the entropy conjecture. Constructs a noninvertible C¹ self-map of a compact smooth manifold with zero topological entropy but eigenvalue 2 on second homology. This disproves the homological entropy lower bound for general C¹ self-maps: homological growth need not force positive orbit complexity.

>>> Level Select <<<

LEVEL 1 A C^1 Counterexample to the Entropy Conjecture

released 2026-09-25 | 1 theorem · 7 lemmas · 12 proofs · 6,617 words | PLAY LEVEL 1 » (pdf)

We disprove the general C¹ self-map formulation of Shub's entropy conjecture. We construct a noninvertible C¹ self-map of a compact smooth manifold without boundary whose topological entropy is zero, while its action on second real homology has eigenvalue 2. Thus the topological entropy is strictly smaller than the logarithm of the homological spectral radius.

More Dynamical systems and ergodic theory Games!
Banach's simple Lebesgue-spectrum problem	Rokhlin's multiple-mixing problem	Sinai's positive-entropy conjecture for the standard map	The near-boundary Birkhoff conjecture
The dimension formula for self-similar measures on the line	Permanence for weakly reversible reaction networks	Weak mixing of irrational triangular billiards	Zero entropy does not guarantee a smooth positive-volume model

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