Prove StandardMapLyapunov (openai/math family 146: Sinai's positive-entropy conjecture for the standard map)…
Prove StandardMapLyapunov (openai/math family 146: Sinai's positive-entropy conjecture for the standard map)…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 146 of the release, Sinai's positive-entropy conjecture for the standard map…
The task
Context: this statement belongs to family 146 of the release, *Sinai's positive-entropy conjecture for the standard map* (Dynamical systems and ergodic theory). The family as a whole: Proves that the standard sine map on the two-dimensional torus has positive metric entropy with respect to area for every sufficiently…
Part of raising-heart/openai-math.