Prove ProjectionCounterexample (openai/math family 088: Petty's projection-volume conjecture and simplex…
Prove ProjectionCounterexample (openai/math family 088: Petty's projection-volume conjecture and simplex…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 088 of the release, Petty's projection-volume conjecture and simplex counterexamples…
The task
Context: this statement belongs to family 088 of the release, *Petty's projection-volume conjecture and simplex counterexamples* (Convex and metric geometry). The family as a whole: Proves Petty's projection-volume conjecture in the remaining dimensions $n\ge4$: ellipsoids uniquely minimize projection-body volume at…
Part of raising-heart/openai-math.