Subjects

Algebra

18 results from OpenAI’s math release. 18 explained so far. OpenAI has published Lean proofs for 10: 4 of the main theorem, 6 of part of the claim.

See these in the full list, with search and filters.

• 193 Serre’s intersection-multiplicity conjecture

  Proves strict positivity of Serre's intersection multiplicity $\chi^R(M,N)$ for nonzero finitely generated modules over any regular local ring, provided $M\otimes_R N$ has finite length and $\dim M+\dim N=\dim R$. This resolves the positivity conjecture, including ramified mixed characteristic.

  ▶Episode, 5:50

• 194 Lech’s multiplicity conjecture

  Proves $e(R)\le e(S)$ 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.

  ▶Episode, 6:09 OpenAI published a Lean proof of part of the claim.

• 195 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.

  ▶Episode, 6:12 OpenAI published a Lean proof of part of the claim.

• 196 A counterexample to Kaplansky’s zero-divisor conjecture

  Constructs a finitely presented torsion-free group G whose group algebra $\mathbb F_2[G]$ has nonzero zero divisors, disproving Kaplansky's zero-divisor conjecture. The group has a finite two-dimensional classifying space.

  ▶Episode, 5:48 OpenAI published a Lean proof of the main theorem.

• 197 A torsion-free group algebra that is not directly finite

  Constructs a finitely presented torsion-free nonsofic group whose group algebra over 𝔽₂ 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.

  4 papers ▶Episode, 7:36 OpenAI published a Lean proof of part of the claim.

• 198 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.

  ▶Episode, 6:10 OpenAI published a Lean proof of the main theorem.

• 199 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.

  2 papers ▶Episode, 6:24 OpenAI published a Lean proof of the main theorem.

• 200 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.

  2 papers ▶Episode, 5:52

• 201 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.

  ▶Episode, 5:13

• 202 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.

  ▶Episode, 5:06

• 203 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.

  2 papers ▶Episode, 4:38

• 204 Tensor saturation for even spin groups

  Proves saturation factor one for $\mathop{\mathrm{Spin}}\nolimits (2n)$, 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.

  ▶Episode, 4:21

• 205 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 S_n with $n\notin\{2,4,9\}$ has an irreducible representation whose tensor square contains all irreducibles.

  2 papers ▶Episode, 3:57 OpenAI published a Lean proof of the main theorem.

• 206 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.

  2 papers ▶Episode, 3:56 OpenAI published a Lean proof of part of the claim.

• 207 The ℓ¹-Bass conjecture for all discrete groups

  Proves the ℓ¹-Bass conjecture for every discrete group: Hattori–Stallings traces of idempotent matrices over $\ell^1(G)$ 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.

  2 papers ▶Episode, 3:59 OpenAI published a Lean proof of part of the claim.

• 208 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 $\mathrm{Ver}_{p^n}$. The level may depend on the category, and the theorem includes characteristic two, resolving the finite case of the Benson–Etingof–Ostrik conjecture.

  ▶Episode, 4:09

• 209 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 $(0,5)$ have nonzero integral K-theory classes that vanish over their fraction fields.

  2 papers ▶Episode, 4:17

• 210 Foulkes' conjecture for sixth powers and quadratic stabilization

  Proves the sixth case of Foulkes’ conjecture: $\mathop{\mathrm{Sym}}\nolimits ^6(\mathop{\mathrm{Sym}}\nolimits ^bV)$ embeds equivariantly in $\mathop{\mathrm{Sym}}\nolimits ^b(\mathop{\mathrm{Sym}}\nolimits ^6V)$ for every b ≥ 6 and finite-dimensional complex V. More generally, the canonical multiplication map $\mathop{\mathrm{Sym}}\nolimits ^b(\mathop{\mathrm{Sym}}\nolimits ^aV)\to\mathop{\mathrm{Sym}}\nolimits ^a(\mathop{\mathrm{Sym}}\nolimits ^bV)$ is surjective for a ≥ 2 and $b\ge a(a-1)$, giving dimension-independent quadratic stabilization.

  2 papers ▶Episode, 3:52 OpenAI published a Lean proof of part of the claim.

Summary and paper titles from OpenAI’s catalog, used under the Apache License 2.0. Last checked October 19, 2026.