Prove FinitisticAsymmetry (openai/math family 198: A counterexample to the little finitistic-dimension…
Prove FinitisticAsymmetry (openai/math family 198: A counterexample to the little finitistic-dimension…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 198 of the release, A counterexample to the little finitistic-dimension conjecture…
The task
Context: this statement belongs to family 198 of the release, *A counterexample to the little finitistic-dimension conjecture* (Algebra). The family as a whole: Constructs a finite-dimensional complex algebra whose finite-dimensional modules have unbounded finite projective dimensions. This disproves the little…
Part of raising-heart/openai-math.