OAI.SKGapCutoff.Recipe.buffered_root_susceptibility_bound: intermediate lemma from OpenAI, A spectral gap throughout the high-temperature Sherrington-Kirkpatrick phase (result family 227)

Initializing...

OAI.SKGapCutoff.Recipe.buffered_root_susceptibility_bound: intermediate lemma from OpenAI, A spectral gap throughout the high-temperature Sherrington-Kirkpatrick phase (result family 227) · Prove2Me