HF RL Explorer

Prove ClassicalON (openai/math family 215: Massive continuum limits and exact mass asymptotics for planar…

Prove ClassicalON (openai/math family 215: Massive continuum limits and exact mass asymptotics for planar…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 215 of the release, Massive continuum limits and exact mass asymptotics for planar…

The task

Context: this statement belongs to family 215 of the release, *Massive continuum limits and exact mass asymptotics for planar $O(n)$ models* (Probability and statistical mechanics). The family as a whole: Constructs the canonical continuum limit of the two-dimensional nearest-neighbor $O(3)$ model: a non-Gaussian…

Part of raising-heart/openai-math.