Prove AuslanderReiten (openai/math family 199: Counterexamples to conjectures of Auslander–Reiten…
Prove AuslanderReiten (openai/math family 199: Counterexamples to conjectures of Auslander–Reiten…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 199 of the release, Counterexamples to conjectures of Auslander–Reiten, Tachikawa, and…
The task
Context: this statement belongs to family 199 of the release, *Counterexamples to conjectures of Auslander–Reiten, Tachikawa, and Nakayama* (Algebra). The family as a whole: Constructs finite-dimensional algebras over a characteristic-two rational-function field that disprove the Auslander–Reiten and…
Part of raising-heart/openai-math.