Prove SATVariance (openai/math family 235: Random-SAT thresholds, sharp variance and computability) in Lean…
Prove SATVariance (openai/math family 235: Random-SAT thresholds, sharp variance and computability) in Lean…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 235 of the release, Random-SAT thresholds, sharp variance and computability…
The task
Context: this statement belongs to family 235 of the release, *Random-SAT thresholds, sharp variance and computability* (Probability and statistical mechanics). The family as a whole: For random $k$-SAT with independent uniformly signed proper clauses sampled with replacement, proves finite positive limiting…
Part of raising-heart/openai-math.