Prove FoulkesHowe (openai/math family 210: Foulkes’ conjecture for sixth powers and quadratic stabilization)…
Prove FoulkesHowe (openai/math family 210: Foulkes’ conjecture for sixth powers and quadratic stabilization)…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 210 of the release, Foulkes’ conjecture for sixth powers and quadratic…
The task
Context: this statement belongs to family 210 of the release, *Foulkes’ conjecture for sixth powers and quadratic stabilization* (Algebra). The family as a whole: Proves the sixth case of Foulkes’ conjecture: $\operatorname{Sym}^6(\operatorname{Sym}^bV)$ embeds equivariantly in…
Part of raising-heart/openai-math.