HF RL Explorer

Prove C1EntropyCounterexample (openai/math family 151: A $C^1$ counterexample to Shub’s entropy conjecture)…

Prove C1EntropyCounterexample (openai/math family 151: A $C^1$ counterexample to Shub’s entropy conjecture)…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 151 of the release, A $C^1$ counterexample to Shub’s entropy conjecture (Dynamical…

The task

Context: this statement belongs to family 151 of the release, *A $C^1$ counterexample to Shub’s entropy conjecture* (Dynamical systems and ergodic theory). The family as a whole: Constructs a noninvertible $C^1$ self-map of a compact smooth manifold with zero topological entropy but eigenvalue $2$ on second homology.…

Part of raising-heart/openai-math.