Prove ThreeStateTreeClauses (openai/math family 229: Sharp three- and four-state reconstruction thresholds)…
Prove ThreeStateTreeClauses (openai/math family 229: Sharp three- and four-state reconstruction thresholds)…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 229 of the release, Sharp three- and four-state reconstruction thresholds…
The task
Context: this statement belongs to family 229 of the release, *Sharp three- and four-state reconstruction thresholds* (Probability and statistical mechanics). The family as a whole: Proves the exact reconstruction threshold $d\lambda^2>1$, with nonreconstruction at equality, for three-state symmetric and four-state…
Part of raising-heart/openai-math.