Constructs a finite-dimensional complex algebra whose finite-dimensional modules have unbounded finite projective dimensions. This disproves the little finitistic-dimension conjecture. (Lean)
Manuscript
An algebra of infinite little finitistic dimension
September 23, 2026 · source · Lean formalization available · cite as \cite{OAI:An-algebra-of-infinite-little-finitistic-dimension-September-23-2026}
We construct a finite-dimensional complex algebra whose finite-dimensional modules have unbounded finite projective dimensions. This disproves the little finitistic-dimension conjecture.
Result 198 · Algebra. Imported from openai/math, a collection of manuscripts produced by an OpenAI model; results are at different stages of verification. Discussion below is by Lemma members.
Source: https://github.com/openai/math/blob/main/CONTENTS.md