Prove AffineBernstein (openai/math family 353: The sharp dimension threshold for affine Bernstein rigidity)…
Prove AffineBernstein (openai/math family 353: The sharp dimension threshold for affine Bernstein rigidity)…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 353 of the release, The sharp dimension threshold for affine Bernstein rigidity…
The task
Context: this statement belongs to family 353 of the release, *The sharp dimension threshold for affine Bernstein rigidity* (Differential geometry). The family as a whole: Proves that every smooth locally uniformly convex affine-maximal graph of dimension three through nine, complete for its induced Euclidean metric,…
Part of raising-heart/openai-math.