Prove ComplexCancellation (openai/math family 047: Complex counterexamples to cancellation and affine…
Prove ComplexCancellation (openai/math family 047: Complex counterexamples to cancellation and affine…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 047 of the release, Complex counterexamples to cancellation and affine fibrations…
The task
Context: this statement belongs to family 047 of the release, *Complex counterexamples to cancellation and affine fibrations* (Algebraic and complex geometry). The family as a whole: Constructs an integral complex affine fourfold $X\not\cong\mathbb A^4$ with $X\times\mathbb A^1\cong\mathbb A^5$, disproving…
Part of raising-heart/openai-math.