Prove CriticalSK (openai/math family 227: The dynamical phase transition in the Sherrington–Kirkpatrick…
Prove CriticalSK (openai/math family 227: The dynamical phase transition in the Sherrington–Kirkpatrick…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 227 of the release, The dynamical phase transition in the Sherrington–Kirkpatrick model…
The task
Context: this statement belongs to family 227 of the release, *The dynamical phase transition in the Sherrington–Kirkpatrick model* (Probability and statistical mechanics). The family as a whole: For zero-field Gaussian SK heat-bath dynamics with rate-one updates per spin, proves worst-start cutoff on the $\log n$…
Part of raising-heart/openai-math.