Prove SidorenkoCounterexample (openai/math family 161: Counterexamples to Sidorenko's conjecture and the…
Prove SidorenkoCounterexample (openai/math family 161: Counterexamples to Sidorenko's conjecture and the…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 161 of the release, Counterexamples to Sidorenko's conjecture and the forcing…
The task
Context: this statement belongs to family 161 of the release, *Counterexamples to Sidorenko's conjecture and the forcing conjecture* (Combinatorics). The family as a whole: Disproves Sidorenko's conjecture with a connected bipartite pattern on $35$ vertices and $66$ edges that occurs less frequently than in a random…
Part of raising-heart/openai-math.