Prove SensitivitySeparation (openai/math family 132: A counterexample to the quadratic sensitivity…
Prove SensitivitySeparation (openai/math family 132: A counterexample to the quadratic sensitivity…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 132 of the release, A counterexample to the quadratic sensitivity conjecture (Theoretical…
The task
Context: this statement belongs to family 132 of the release, *A counterexample to the quadratic sensitivity conjecture* (Theoretical computer science). The family as a whole: Constructs total Boolean functions with block sensitivity $\operatorname{bs}(f)\ge s(f)^\alpha$ for a fixed $\alpha>2$, disproving the…
Part of raising-heart/openai-math.