Prove BoltzmannNonuniqueness (openai/math family 363: Boltzmann nonuniqueness with exact local conservation)…
Prove BoltzmannNonuniqueness (openai/math family 363: Boltzmann nonuniqueness with exact local conservation)…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 363 of the release, Boltzmann nonuniqueness with exact local conservation (Partial…
The task
Context: this statement belongs to family 363 of the release, *Boltzmann nonuniqueness with exact local conservation* (Partial differential equations). The family as a whole: Constructs two distinct global entropy solutions of the three-dimensional periodic hard-sphere Boltzmann equation from the same nonnegative…
Part of raising-heart/openai-math.