OAI.DilutedSpinGlass.PrescribedTree.finiteTrial_upper_fixedField: intermediate lemma from OpenAI, The Mézard–Parisi formula for diluted spin glasses (result family 221)

Initializing...

OAI.DilutedSpinGlass.PrescribedTree.finiteTrial_upper_fixedField: intermediate lemma from OpenAI, The Mézard–Parisi formula for diluted spin glasses (result family 221) · Prove2Me