Algebra
18 results in OpenAI Math 2026.
18 AI-made results in algebra, from 29 papers in the OpenAI math collection, each explained in plain English. 10 have a formal Lean proof listed; 8 are claimed in a paper and not yet machine-checked. The oldest question here dates back to 1940: A counterexample to Kaplansky’s zero-divisor conjecture. Results rated Landmark include A torsion-free group algebra that is not directly finite and The blockwise Alperin weight conjecture.
Algebra18
-
Serre’s intersection-multiplicity conjecture
Proves strict positivity of Serre's intersection multiplicity for nonzero finitely generated modules over any regular local ring, provided has finite length and . This resolves the positivity conjecture, including ramified mixed characteristic.
Claimed, not checked -
Lech’s multiplicity conjecture
Proves for every flat local homomorphism of nonzero Noetherian local rings, where e is Hilbert–Samuel multiplicity. This resolves Lech's conjecture in every dimension and characteristic.
Formal proof listed -
A counterexample to the small Cohen–Macaulay module conjecture
Constructs a three-dimensional complete Noetherian normal local domain over ℂ with no nonzero finitely generated maximal Cohen–Macaulay module. A three-dimensional local domain essentially of finite type over ℂ has the same property, disproving the domain form of the small Cohen–Macaulay module conjecture.
Formal proof listed -
A counterexample to Kaplansky’s zero-divisor conjecture
Constructs a finitely presented torsion-free group G whose group algebra has nonzero zero divisors, disproving Kaplansky's zero-divisor conjecture. The group has a finite two-dimensional classifying space.
Formal proof listed -
A torsion-free group algebra that is not directly finite
Constructs a finitely presented torsion-free nonsofic group whose group algebra over 𝔽2 is not directly finite, disproving Kaplansky's conjecture even without torsion. Companion examples give injective nonsurjective cellular automata on all configurations, refuting Gottschalk's surjunctivity conjecture. Another counterexample is an integral group-ring matrix, invertible over the rational group ring, with Fuglede–Kadison determinant strictly between zero and one, disproving the unrestricted Determinant Conjecture.
Formal proof listed -
A counterexample to finitistic-dimension finiteness
Constructs a finite-dimensional complex algebra whose finite-dimensional modules have unbounded finite projective dimensions. This disproves the little finitistic-dimension conjecture.
Formal proof listed -
Counterexamples to Auslander–Reiten, Tachikawa and related homological conjectures
Constructs finite-dimensional algebras over a characteristic-two rational-function field that disprove the Auslander–Reiten and Gorenstein-projective conjectures, and Tachikawa's second conjecture. An associated endomorphism algebra also disproves the classical, generalized and strong Nakayama conjectures, the Auslander–Gorenstein conjecture, and the Wakamatsu tilting conjecture. The counterexamples persist under every extension of the base field.
Formal proof listed -
Eisenbud–Green–Harris and lex-plus-powers
Proves the Eisenbud–Green–Harris and lex-plus-powers conjectures over every characteristic-zero field. Any homogeneous ideal containing a regular sequence, of arbitrary length and degrees at least two, admits a lex-plus-powers ideal with the same Hilbert function and no smaller graded Betti numbers.
Claimed, not checked -
A counterexample to Kurosh’s division-ring problem
Constructs a countable characteristic-zero division ring that is algebraic over its center and generated by two elements over that center, but has infinite dimension over it. This answers Kurosh's division-ring problem on local finiteness negatively.
Claimed, not checked -
The blockwise Alperin weight conjecture
Proves the numerical blockwise Alperin weight conjecture for every prime and every finite group: the number of irreducible Brauer characters in a block equals the number of conjugacy classes of its weights.
Claimed, not checked -
Donovan's conjecture over fields and complete mixed-characteristic DVRs
Proves Donovan's conjecture: over each fixed algebraically closed field of characteristic p, blocks of finite groups with bounded defect-group order have only finitely many Morita-equivalence classes, for every prime p. Also proves the integral form over each fixed complete mixed-characteristic discrete valuation ring with algebraically closed residue field.
Claimed, not checked -
Tensor saturation for even spin groups
Proves saturation factor one for , n ≥ 2: for three dominant integral weights whose sum lies in the root lattice, an invariant at any common positive integral dilation already gives an invariant at the original weights. This resolves the type-D part of the simply-laced saturation conjecture.
Claimed, not checked -
Saxl’s conjecture and universal tensor squares
Proves Saxl's conjecture: the tensor square of every staircase representation contains every irreducible complex representation of the corresponding symmetric group. More generally, every Sn with has an irreducible representation whose tensor square contains all irreducibles.
Formal proof listed -
Finite lattice representation and undecidability
Some finite lattices are not congruence lattices of any finite algebra, answering the finite lattice representation problem negatively. Moreover, no algorithm decides whether a finite lattice has such a representation, or whether it is a full subgroup interval of a finite group.
Formal proof listed -
The ℓ¹-Bass conjecture for all discrete groups
Proves the ℓ1-Bass conjecture for every discrete group: Hattori–Stallings traces of idempotent matrices over are supported on finitely many finite-order conjugacy classes. The algebraic companion proves the integral Bass trace conjecture and Kaplansky's idempotent conjecture for torsion-free groups over every commutative unital characteristic-zero domain.
Formal proof listed -
Finite symmetric tensor categories and the Verlinde tower
Proves that every finite symmetric tensor category over an algebraically closed field k of characteristic p > 0 admits a k-linear exact faithful strong symmetric monoidal fiber functor to a higher Verlinde category . The level may depend on the category, and the theorem includes characteristic two, resolving the finite case of the Benson–Etingof–Ostrik conjecture.
Claimed, not checked -
Integral counterexamples to Gersten’s conjecture
Disproves unrestricted integral Gersten injectivity in degrees 3 and 5. Two explicit two-dimensional ramified regular local rings of mixed characteristic have nonzero integral K-theory classes that vanish over their fraction fields.
Claimed, not checked -
Foulkes' conjecture for sixth powers and quadratic stabilization
Proves the sixth case of Foulkes’ conjecture: embeds equivariantly in for every b ≥ 6 and finite-dimensional complex V. More generally, the canonical multiplication map is surjective for a ≥ 2 and , giving dimension-independent quadratic stabilization.
Formal proof listed