Prove BiholderTransport (openai/math family 360: Villani’s convexity conjecture and regular optimal…
Prove BiholderTransport (openai/math family 360: Villani’s convexity conjecture and regular optimal…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 360 of the release, Villani’s convexity conjecture and regular optimal transport…
The task
Context: this statement belongs to family 360 of the release, *Villani’s convexity conjecture and regular optimal transport* (Differential geometry). The family as a whole: On every closed connected Riemannian manifold of dimension at least two satisfying weak Ma–Trudinger–Wang curvature, all tangent injectivity…
Part of raising-heart/openai-math.